src/HOLCF/IOA/ABP/Check.ML
changeset 20854 f9cf9e62d11c
parent 19360 f47412f922ab
child 22580 d91b4dd651d6
     1.1 --- a/src/HOLCF/IOA/ABP/Check.ML	Wed Oct 04 14:14:33 2006 +0200
     1.2 +++ b/src/HOLCF/IOA/ABP/Check.ML	Wed Oct 04 14:17:38 2006 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4                                   string_of_s s; writeln"";
     1.5                                   string_of_a a; writeln"";
     1.6                                   string_of_s t;writeln"";writeln"" ));
     1.7 -                     if t mem checked then unchecked else t ins unchecked)
     1.8 +                     if t mem checked then unchecked else insert (op =) t unchecked)
     1.9                in Library.foldl check_sas (unchecked,nexts s a) end;
    1.10                val unchecked' = Library.foldl check_sa (unchecked,extacts @ intacts)
    1.11          in    (if s mem startsI then