1.1 --- a/src/Tools/isac/ME/mstools.sml	Thu Aug 19 12:00:46 2010 +0200
     1.2 +++ b/src/Tools/isac/ME/mstools.sml	Thu Aug 19 12:08:42 2010 +0200
     1.3 @@ -643,7 +643,7 @@
     1.4         | [t] => (case t of  (*eg. eps=#0*)
     1.5  		     (Const ("op =",_) $ l $ r) => [r,l]
     1.6  		   | _ => raise error ("pbl_ids' Tools.nam: no equality "
     1.7 -				       ^(Syntax.string_of_term (ctxt_Isac"")t)))
     1.8 +				       ^(Syntax.string_of_term (thy2ctxt' "Isac")t)))
     1.9         | vs' => vs (*14.9.01: ???TODO *))
    1.10    | pbl_ids' (Const(_,Type("fun",[_,Type("Tools.una",_)]))) vs = vs
    1.11    | pbl_ids' (Const(_,Type("fun",[_,Type("Tools.unl",_)]))) vs = vs