1.1 --- a/test/Tools/isac/Knowledge/eqsystem-1.sml	Wed Oct 26 09:54:58 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/eqsystem-1.sml	Mon Oct 31 16:43:48 2022 +0100
     1.3 @@ -460,7 +460,7 @@
     1.4     *)
     1.5  > val [("#Given", [equalities_es_, "solveForVars v_s"])] = gi;
     1.6  val equalities_es_ = "equalities es_" : string
     1.7 -> val (dd, ii) = (split_did o Thm.term_of o the o (TermC.parse thy)) equalities_es_;
     1.8 +> val (dd, ii) = ((Model_Pattern.split_descriptor ctxt)  o Thm.term_of o the o (TermC.parse thy)) equalities_es_;
     1.9  > show_types:=true; UnparseC.term ii; show_types:=false;
    1.10  val it = "es_::bool list" : string
    1.11  ~~~~~~~~~~~~~~~ \<up> \<up> \<up>  OK~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~