# HG changeset patch
# User wenzelm
# Date 875091112 -7200
# Node ID 3a8192e83579109138015c19a2e4c6ddb5e4514f
# Parent  7c30ab9e25d15894f05cf15ceac8385dc637f23c
pure_trfuns: added constraint;

diff -r 7c30ab9e25d1 -r 3a8192e83579 src/Pure/Syntax/syn_trans.ML
--- a/src/Pure/Syntax/syn_trans.ML	Tue Sep 23 17:35:07 1997 +0200
+++ b/src/Pure/Syntax/syn_trans.ML	Wed Sep 24 10:51:52 1997 +0200
@@ -280,7 +280,7 @@
    ("_bigimpl", bigimpl_ast_tr)],
   [("_abs", abs_tr), ("_aprop", aprop_tr), ("_ofclass", ofclass_tr),
    ("_K", k_tr)],
-  [],
+  []: (string * (term list -> term)) list,
   [("_abs", abs_ast_tr'), ("_idts", idtyp_ast_tr' "_idts"),
    ("_pttrns", idtyp_ast_tr' "_pttrns"), ("==>", impl_ast_tr')]);