1.1 --- a/src/Tools/isac/Specify/p-model.sml	Mon Oct 02 12:02:59 2023 +0200
     1.2 +++ b/src/Tools/isac/Specify/p-model.sml	Mon Oct 02 15:39:22 2023 +0200
     1.3 @@ -106,7 +106,7 @@
     1.4    | boolterm2item ctxt(false, term) = False (UnparseC.term ctxt term);
     1.5  
     1.6  fun from thy itms where_ =
     1.7 -  let
     1.8 +  let                                                                                     
     1.9      fun coll model [] = model
    1.10        | coll model ((_, _, _, field, itm_) :: itms) =
    1.11          coll (add_sel_ppc thy field model (item_from_feedback thy itm_)) itms;