src/Tools/Code/code_preproc.ML
changeset 31971 8c1b845ed105
parent 31962 baa8dce5bc45
child 31977 e03059ae2d82
     1.1 --- a/src/Tools/Code/code_preproc.ML	Thu Jul 09 17:34:59 2009 +0200
     1.2 +++ b/src/Tools/Code/code_preproc.ML	Thu Jul 09 22:01:41 2009 +0200
     1.3 @@ -253,7 +253,7 @@
     1.4  type var = const * int;
     1.5  
     1.6  structure Vargraph =
     1.7 -  GraphFun(type key = var val ord = prod_ord const_ord int_ord);
     1.8 +  Graph(type key = var val ord = prod_ord const_ord int_ord);
     1.9  
    1.10  datatype styp = Tyco of string * styp list | Var of var | Free;
    1.11