# HG changeset patch
# User wenzelm
# Date 878659072 -3600
# Node ID 42584a53a3e7837ee0d4ad7bb012bd56f0152aa3
# Parent  e0382d653d6217c21e20b4b5a427de6e2cdd0dc5
tuned to make non-Poly/MLs happy;

diff -r e0382d653d62 -r 42584a53a3e7 src/HOLCF/ROOT.ML
--- a/src/HOLCF/ROOT.ML	Tue Nov 04 16:49:35 1997 +0100
+++ b/src/HOLCF/ROOT.ML	Tue Nov 04 16:57:52 1997 +0100
@@ -14,8 +14,8 @@
 
 use_thy "HOLCF";
 
-use "HOLCFLogic";
-use "contconsts";
+use "HOLCFLogic.ML";
+use "contconsts.ML";
 
 (* domain package *)
 use "domain/library.ML";