1.1 --- a/src/Tools/isac/Specify/pre-conditions.sml	Tue Oct 03 16:33:54 2023 +0200
     1.2 +++ b/src/Tools/isac/Specify/pre-conditions.sml	Wed Oct 25 12:34:12 2023 +0200
     1.3 @@ -154,15 +154,18 @@
     1.4  (*  get_equal_descr: I_Model.T_TEST -> Model_Pattern.single -> (Model_Pattern.single * I_Model.single_TEST) list*)
     1.5  fun get_equal_descr i_model (m_patt_single as (_, (descr, _))) =
     1.6    let
     1.7 -    val equal_variants = 
     1.8 +    val equal_descr = 
     1.9        filter (fn i_single => case get_descr i_single of
    1.10            NONE => false (*--------vvvvv*)
    1.11 -        | SOME descr' => descr' = descr) (*probl_POS*) i_model
    1.12 +        | SOME descr' => descr' = descr) i_model
    1.13      in
    1.14 -      (map (pair m_patt_single) equal_variants)
    1.15 +      (map (pair m_patt_single) equal_descr)
    1.16      end
    1.17  
    1.18 -(*get an appropriate (description, variant) item from pbl_imod, otherwise return empty item*)
    1.19 +(*
    1.20 +  get an appropriate (description, variant)-item from i_model, otherwise return empty item,
    1.21 +  i.e. this function produces items with Sup.
    1.22 +*)
    1.23  fun get_descr_vnt descr vnts i_model =
    1.24    let
    1.25      val equal_descr = filter (fn (_, _, _, _, (feedb, _)) => case get_dscr' feedb of NONE => false