src/Tools/Code/code_preproc.ML

--- a/src/Tools/Code/code_preproc.ML	Wed Jul 08 06:43:30 2009 +0200
+++ b/src/Tools/Code/code_preproc.ML	Wed Jul 08 08:18:07 2009 +0200
@@ -450,7 +450,7 @@
 
 (** store for preprocessed arities and code equations **)
 
-structure Wellsorted = CodeDataFun
+structure Wellsorted = Code_Data_Fun
 (
   type T = ((string * class) * sort list) list * code_graph;
   val empty = ([], Graph.empty);