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