1.1 --- a/src/Tools/isac/Interpret/inform.sml	Mon Sep 13 17:21:22 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Mon Sep 13 18:12:15 2010 +0200
     1.3 @@ -42,7 +42,7 @@
     1.4         (Term.term * Term.term list) list ->
     1.5         pblID * SpecifyTools.itm list * metID * SpecifyTools.itm list *
     1.6         (bool * Term.term) list  *)
     1.7 -    val castab : castab ref
     1.8 +    val castab : castab Unsynchronized.ref
     1.9      val compare_step :
    1.10         calcstate' -> Term.term -> string * calcstate'
    1.11     (* val concat_deriv :