src/Pure/type_infer.ML
changeset 37145 01aa36932739
parent 35013 f3d491658893
child 37236 739d8b9c59da
     1.1 --- a/src/Pure/type_infer.ML	Thu May 27 15:28:23 2010 +0200
     1.2 +++ b/src/Pure/type_infer.ML	Thu May 27 17:41:27 2010 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4      term list -> term list
     1.5  end;
     1.6  
     1.7 -structure TypeInfer: TYPE_INFER =
     1.8 +structure Type_Infer: TYPE_INFER =
     1.9  struct
    1.10  
    1.11