tuned to make non-Poly/MLs happy;
authorwenzelm
Tue Nov 04 16:57:52 1997 +0100 (1997-11-04)
changeset 412842584a53a3e7
parent 4127 e0382d653d62
child 4129 2fd816aa6206
tuned to make non-Poly/MLs happy;
src/HOLCF/ROOT.ML
     1.1 --- a/src/HOLCF/ROOT.ML	Tue Nov 04 16:49:35 1997 +0100
     1.2 +++ b/src/HOLCF/ROOT.ML	Tue Nov 04 16:57:52 1997 +0100
     1.3 @@ -14,8 +14,8 @@
     1.4  
     1.5  use_thy "HOLCF";
     1.6  
     1.7 -use "HOLCFLogic";
     1.8 -use "contconsts";
     1.9 +use "HOLCFLogic.ML";
    1.10 +use "contconsts.ML";
    1.11  
    1.12  (* domain package *)
    1.13  use "domain/library.ML";