1.1 --- a/test/Tools/isac/Specify/refine.sml	Wed Sep 20 08:27:21 2023 +0200
     1.2 +++ b/test/Tools/isac/Specify/refine.sml	Wed Sep 20 11:30:50 2023 +0200
     1.3 @@ -429,7 +429,7 @@
     1.4             make_envs_preconds equal_givens;
     1.5  "~~~~~ fun make_envs_preconds , args:"; val (equal_givens) = (equal_givens);
     1.6  "~~~~~ fun xxx , args:"; val ((_, (_, id)), (_, _, _, _, (feedb, _))) = (nth 1 equal_givens);
     1.7 -"~~~~~ fun discern_feedback , args:"; val (id, (Model_Def.Cor_TEST ((descr, ts), _))) =
     1.8 +"~~~~~ fun discern_feedback , args:"; val (id, (Model_Def.Cor_TEST ((descr, ts)))) =
     1.9    (id, feedb);
    1.10  
    1.11  val return_discern_typ as [] =