src/Provers/classical.ML
changeset 17795 5b18c3343028
parent 17257 0ab67cb765da
child 17880 4494c023bf2a
     1.1 --- a/src/Provers/classical.ML	Sat Oct 08 20:15:33 2005 +0200
     1.2 +++ b/src/Provers/classical.ML	Sat Oct 08 20:15:34 2005 +0200
     1.3 @@ -578,14 +578,14 @@
     1.4  
     1.5  (*Remove a safe wrapper*)
     1.6  fun cs delSWrapper name = update_swrappers cs (fn swrappers =>
     1.7 -  let val swrappers' = filter_out (equal name o #1) swrappers in
     1.8 +  let val swrappers' = filter_out (equal name o fst) swrappers in
     1.9      if length swrappers <> length swrappers' then swrappers'
    1.10      else (warning ("No such safe wrapper in claset: "^ name); swrappers)
    1.11    end);
    1.12  
    1.13  (*Remove an unsafe wrapper*)
    1.14  fun cs delWrapper name = update_uwrappers cs (fn uwrappers =>
    1.15 -  let val uwrappers' = filter_out (equal name o #1) uwrappers in
    1.16 +  let val uwrappers' = filter_out (equal name o fst) uwrappers in
    1.17      if length uwrappers <> length uwrappers' then uwrappers'
    1.18      else (warning ("No such unsafe wrapper in claset: " ^ name); uwrappers)
    1.19    end);