1.1 --- a/src/Tools/isac/ME/ctree.sml	Wed Aug 18 16:03:27 2010 +0200
     1.2 +++ b/src/Tools/isac/ME/ctree.sml	Thu Aug 19 12:00:46 2010 +0200
     1.3 @@ -1510,7 +1510,7 @@
     1.4  		      (apfst bool2str)))) bts;
     1.5  fun ocalhd2str ((b, p, hdf, itms, prec, spec):ocalhd) =
     1.6      "("^bool2str b^", "^pos_2str p^", "^term2str hdf^
     1.7 -    ", "^itms2str_ (thy2ctxt "Isac") itms^
     1.8 +    ", "^itms2str_ (thy2ctxt' "Isac") itms^
     1.9      ", "^preconds2str prec^", \n"^spec2str spec^" )";
    1.10  
    1.11