src/Tools/value.ML

--- a/src/Tools/value.ML	Thu Jan 01 14:23:39 2009 +0100
+++ b/src/Tools/value.ML	Thu Jan 01 14:23:39 2009 +0100
@@ -20,7 +20,7 @@
   val empty = [];
   val copy = I;
   val extend = I;
-  fun merge pp = AList.merge (op =) (K true);
+  fun merge _ data = AList.merge (op =) (K true) data;
 )
 
 val add_evaluator = Evaluator.map o AList.update (op =);