1.1 --- a/src/Tools/isac/Specify/pre-conditions.sml	Thu Nov 30 08:11:50 2023 +0100
     1.2 +++ b/src/Tools/isac/Specify/pre-conditions.sml	Fri Dec 01 05:51:18 2023 +0100
     1.3 @@ -141,7 +141,7 @@
     1.4    let
     1.5      val equal_descr = 
     1.6        filter (fn i_single => case get_descr_opt i_single of
     1.7 -          NONE => false (*--------vvvvv*)
     1.8 +          NONE => false
     1.9          | SOME descr' => descr' = descr) i_model
    1.10      in
    1.11        (map (pair m_patt_single) equal_descr)