Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Minisubpbl/200-start-method.sml
changeset 60675 d841c720d288
parent 60673 ef24b1eed505
child 60710 21ae85b023bb 
     1.1 --- a/test/Tools/isac/Minisubpbl/200-start-method.sml	Sat Feb 04 16:49:08 2023 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/200-start-method.sml	Sat Feb 04 17:00:25 2023 +0100
     1.3 @@ -111,7 +111,7 @@
     1.4      val (form, _, _) = ME_Misc.pt_extract ctxt ptp
     1.5  val Ctree.Form t =
     1.6      (*case*) form (*of*);
     1.7 -    Test_Out.FormKF (UnparseC.term_in_ctxt ctxt t);
     1.8 +    Test_Out.FormKF (UnparseC.term ctxt t);
     1.9  (*-------------------- stop step into Rewrite_Set --------------------------------------------*)
    1.10  (*\\------------------ step into Rewrite_Set -----------------------------------------------//*)
    1.11
wneuper/isa