1.1 --- a/src/Tools/isac/Specify/i-model.sml	Mon May 18 14:12:01 2020 +0200
     1.2 +++ b/src/Tools/isac/Specify/i-model.sml	Mon May 18 14:21:41 2020 +0200
     1.3 @@ -402,7 +402,7 @@
     1.4  fun complete' pbt (i, v, f, d, ts) =
     1.5    (i, v, true, f, Cor ((d, ts), ((snd o snd o the o (find_first (eq1 d))) pbt, ts)))
     1.6      handle _ => (i, v, true, f, Cor ((d, ts), (d, ts)))
     1.7 -      (*dsc in oris, but not in pbl pat list: keep this dsc*)
     1.8 +      (*descriptor in O_Model, but not in Problem_Pattern.T, thus keep this descriptor*)
     1.9  
    1.10  (* filter out oris which have same description in itms *)
    1.11  fun filter_outs oris [] = oris