1.1 --- a/test/Tools/isac/Specify/refine.sml	Thu Aug 17 08:01:45 2023 +0200
     1.2 +++ b/test/Tools/isac/Specify/refine.sml	Fri Aug 18 18:51:18 2023 +0200
     1.3 @@ -393,7 +393,7 @@
     1.4    = model_pattern |> Model_Pattern.to_string @{context}
     1.5  (*+*)val "[Length e_s = 4, Length v_s = 4]" = where_ |> UnparseC.terms @{context}
     1.6  
     1.7 -    val mvat = I_Model.variables i_model;
     1.8 +   val mvat = I_Model.variables_TEST model_pattern (I_Model.OLD_to_TEST i_model)
     1.9      val complete = chk1_mis mvat i_model model_pattern;
    1.10  
    1.11      val (pb as true, (** )_( **)where_'(**)) =