src/Tools/Code/code_ml.ML
changeset 55657 d5ad50aea356
parent 55150 0940309ed8f1
child 55677 1f89921f3e75
     1.1 --- a/src/Tools/Code/code_ml.ML	Fri Feb 21 18:23:11 2014 +0100
     1.2 +++ b/src/Tools/Code/code_ml.ML	Fri Feb 21 19:20:24 2014 +0100
     1.3 @@ -55,7 +55,6 @@
     1.4  fun print_sml_stmt tyco_syntax const_syntax reserved is_constr deresolve =
     1.5    let
     1.6      val deresolve_const = deresolve o Constant;
     1.7 -    val deresolve_tyco = deresolve o Type_Constructor;
     1.8      val deresolve_class = deresolve o Type_Class;
     1.9      val deresolve_classrel = deresolve o Class_Relation;
    1.10      val deresolve_inst = deresolve o Class_Instance;
    1.11 @@ -361,7 +360,6 @@
    1.12  fun print_ocaml_stmt tyco_syntax const_syntax reserved is_constr deresolve =
    1.13    let
    1.14      val deresolve_const = deresolve o Constant;
    1.15 -    val deresolve_tyco = deresolve o Type_Constructor;
    1.16      val deresolve_class = deresolve o Type_Class;
    1.17      val deresolve_classrel = deresolve o Class_Relation;
    1.18      val deresolve_inst = deresolve o Class_Instance;