--- a/src/Tools/Code/code_ml.ML Fri Feb 21 18:23:11 2014 +0100
+++ b/src/Tools/Code/code_ml.ML Fri Feb 21 19:20:24 2014 +0100
@@ -55,7 +55,6 @@
fun print_sml_stmt tyco_syntax const_syntax reserved is_constr deresolve =
let
val deresolve_const = deresolve o Constant;
- val deresolve_tyco = deresolve o Type_Constructor;
val deresolve_class = deresolve o Type_Class;
val deresolve_classrel = deresolve o Class_Relation;
val deresolve_inst = deresolve o Class_Instance;
@@ -361,7 +360,6 @@
fun print_ocaml_stmt tyco_syntax const_syntax reserved is_constr deresolve =
let
val deresolve_const = deresolve o Constant;
- val deresolve_tyco = deresolve o Type_Constructor;
val deresolve_class = deresolve o Type_Class;
val deresolve_classrel = deresolve o Class_Relation;
val deresolve_inst = deresolve o Class_Instance;