1.1 --- a/src/Tools/isac/BaseDefinitions/tracing.sml	Tue Apr 21 15:42:50 2020 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/tracing.sml	Tue Apr 21 16:16:11 2020 +0200
     1.3 @@ -8,8 +8,10 @@
     1.4  signature TRACING =
     1.5  sig
     1.6  (*/------- to Trace from Celem -------\*)
     1.7 -    val trace_calc: bool Unsynchronized.ref
     1.8 -    val trace_rewrite: bool Unsynchronized.ref
     1.9 +  val trace_calc: bool Unsynchronized.ref
    1.10 +  val trace_rewrite: bool Unsynchronized.ref
    1.11 +  val depth: int Unsynchronized.ref
    1.12 +  val lim_deriv: int Unsynchronized.ref
    1.13  (*\------- to Trace from Celem --------/*)
    1.14  (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
    1.15    (*NONE*)