src/Tools/Code/code_thingol.ML
changeset 45987 9ba44b49859b
parent 45188 35870ec62ec7
child 46614 165886a4fe64
--- a/src/Tools/Code/code_thingol.ML	Mon Dec 26 18:32:43 2011 +0100
+++ b/src/Tools/Code/code_thingol.ML	Mon Dec 26 18:32:43 2011 +0100
@@ -926,7 +926,7 @@
     val ty = fastype_of t;
     val vs = fold_term_types (K (fold_atyps (insert (eq_fst op =)
       o dest_TFree))) t [];
-    val t' = annotate thy algbr eqngr (Term.dummy_patternN, ty) [] (Code.subst_signatures thy t) 
+    val t' = annotate thy algbr eqngr (Term.dummy_patternN, ty) [] t;
     val stmt_value =
       fold_map (translate_tyvar_sort thy algbr eqngr false) vs
       ##>> translate_typ thy algbr eqngr false ty