aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--spartan/core/implicits.ML2
1 files changed, 1 insertions, 1 deletions
diff --git a/spartan/core/implicits.ML b/spartan/core/implicits.ML
index 04fc825..4d73c8d 100644
--- a/spartan/core/implicits.ML
+++ b/spartan/core/implicits.ML
@@ -11,7 +11,7 @@ structure Defs = Generic_Data (
type T = (term * term) Symtab.table
val empty = Symtab.empty
val extend = I
- val merge = Symtab.merge (Term.aconv o #1)
+ val merge = Symtab.merge (Term.aconv o apply2 #1)
)
val implicit_defs = Defs.get o Context.Proof