1.1 --- a/src/Tools/isac/Specify/o-model.sml	Tue Feb 07 17:43:16 2023 +0100
     1.2 +++ b/src/Tools/isac/Specify/o-model.sml	Tue Feb 07 18:05:15 2023 +0100
     1.3 @@ -92,7 +92,8 @@
     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 -  TermC.unparse_ERROR t ^ ", " ^ (strs2str o (map TermC.unparse_ERROR)) ts ^ ")";
     1.8 +    UnparseC.term (ContextC.for_ERROR ()) t ^ ", " ^ 
     1.9 +      (strs2str o (map (UnparseC.term (ContextC.for_ERROR ())) ) ) ts ^ ")";
    1.10  val string_of_preoris = (strs2str' o (map (linefeed o preori2str)));
    1.11  \<close>
    1.12  
    1.13 @@ -266,7 +267,7 @@
    1.14      else ([1], field, dsc, [t])
    1.15  	\<close> of
    1.16      SOME x => x
    1.17 -  | NONE => raise ERROR ("copy_name: for " ^ TermC.unparse_ERROR t)
    1.18 +  | NONE => raise ERROR ("copy_name: for " ^ UnparseC.term (ContextC.for_ERROR ()) t)
    1.19  
    1.20  
    1.21  (** tools for I_Model **)