1.1 --- a/src/Tools/isac/Specify/o-model.sml	Sat Feb 04 16:20:45 2023 +0100
     1.2 +++ b/src/Tools/isac/Specify/o-model.sml	Sat Feb 04 16:49:08 2023 +0100
     1.3 @@ -92,7 +92,7 @@
     1.4  \<^isac_test>\<open>
     1.5  fun preori2str (vs, fi, t, ts) = 
     1.6    "(" ^ (strs2str o (map string_of_int)) vs ^ ", " ^ fi ^ ", " ^
     1.7 -  UnparseC.term t ^ ", " ^ (strs2str o (map TermC.unparse_ERROR)) ts ^ ")";
     1.8 +  TermC.unparse_ERROR t ^ ", " ^ (strs2str o (map TermC.unparse_ERROR)) ts ^ ")";
     1.9  val string_of_preoris = (strs2str' o (map (linefeed o preori2str)));
    1.10  \<close>
    1.11