changeset 18964 | 67f572e03236 |
parent 18931 | 427df66052a1 |
child 18977 | f24c416a4814 |
--- a/src/Pure/Syntax/syntax.ML Tue Feb 07 08:47:43 2006 +0100 +++ b/src/Pure/Syntax/syntax.ML Tue Feb 07 19:56:45 2006 +0100 @@ -127,7 +127,7 @@ val trs2 = these (AList.lookup (op =) tabs2 mode); val trs = gen_distinct eq_tr (trs1 @ trs2); in - (case gen_duplicates (eq_fst (op =)) trs of + (case duplicates (eq_fst (op =)) trs of [] => (mode, trs) | dups => error ("More than one token translation function in mode " ^ quote mode ^ " for " ^ commas_quote (map name dups)))