1.1 --- a/test/Tools/isac/IsacKnowledge/atools.sml	Thu Aug 19 15:41:56 2010 +0200
     1.2 +++ b/test/Tools/isac/IsacKnowledge/atools.sml	Fri Aug 20 12:25:37 2010 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4  "----------- occurs_in -------------------------------------------";
     1.5  "----------- occurs_in -------------------------------------------";
     1.6  fun str2term str = (term_of o the o (parse thy )) str;
     1.7 -fun term2s t = Sign.string_of_term (sign_of thy) t;
     1.8 +fun term2s t = Syntax.string_of_term (thy2ctxt thy) t;
     1.9  val t = str2term "x";
    1.10  if occurs_in t t then "OK" else raise error "atools.sml: occurs_in x x -> f";
    1.11