1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Thu Aug 19 15:41:56 2010 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Fri Aug 20 12:25:37 2010 +0200
     1.3 @@ -33,7 +33,7 @@
     1.4  > val t = (term_of o the o (parse thy)) "#2^^^#3";
     1.5  > val eval_fn = the (assoc (!eval_list, "pow"));
     1.6  > val (SOME (id,t')) = get_pair thy "pow" eval_fn t;
     1.7 -> Sign.string_of_term (sign_of thy) t';
     1.8 +> Syntax.string_of_term (thy2ctxt thy) t';
     1.9  *)
    1.10  (******************************************************************)
    1.11  (*                  -------------------------------------         *)