diff options
| -rw-r--r-- | spartan/core/implicits.ML | 2 |
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 |