1.1 --- a/test/Tools/isac/Specify/pre-conditions.sml	Sun Dec 10 07:56:02 2023 +0100
     1.2 +++ b/test/Tools/isac/Specify/pre-conditions.sml	Sun Dec 10 17:35:07 2023 +0100
     1.3 @@ -45,7 +45,7 @@
     1.4    (5, [1,2], true, "#Relate",
     1.5      (Cor_POS ((@{term "SideConditions"}, [@{term "[(u / 2) \<up> 2 + (2 / v) \<up> 2 = r \<up> 2]"}])), Position.none ))
     1.6    :: [] : I_Model.T_POS;
     1.7 -val probl_OLD = I_Model.TEST_to_OLD probl : I_Model.T;
     1.8 +val probl_OLD = probl
     1.9  
    1.10  val {model = model_patt, where_rls, where_ = where_OLD, ...} = (*from_store without Position.T-vv*)
    1.11    Problem.from_store ctxt (References.explode_id "univariate_calculus/Optimisation")