changeset 36391 | 8f81c060cf12 |
parent 36390 | eee4ee6a5cbe |
child 36607 | e5f7235f39c5 |
--- a/src/HOL/Tools/Nitpick/nitpick_model.ML Sun Apr 25 00:25:44 2010 +0200 +++ b/src/HOL/Tools/Nitpick/nitpick_model.ML Sun Apr 25 00:33:26 2010 +0200 @@ -62,7 +62,7 @@ type T = (typ * term_postprocessor) list val empty = [] val extend = I - fun merge (ps1, ps2) = AList.merge (op =) (K true) (ps1, ps2)) + val merge = AList.merge (op =) (K true)) val irrelevant = "_" val unknown = "?"