1.1 --- a/src/Tools/isac/MathEngBasic/ctree-basic.sml	Fri Jan 17 13:14:11 2020 +0100
     1.2 +++ b/src/Tools/isac/MathEngBasic/ctree-basic.sml	Fri Jan 17 13:47:19 2020 +0100
     1.3 @@ -182,7 +182,7 @@
     1.4    list;
     1.5  
     1.6  fun ets2s (l,(m,eno,env,iar,res,s)) = 
     1.7 -  "\n(" ^ TermC.path2str l ^ ",(" ^ Tactic.string_of m ^
     1.8 +  "\n(" ^ TermC.string_of_path l ^ ",(" ^ Tactic.string_of m ^
     1.9    ",\n  ens= " ^ Env.subst2str eno ^
    1.10    ",\n  env= " ^ Env.subst2str env ^
    1.11    ",\n  iar= " ^ Rule.term2str iar ^