--- a/Makefile Thu Nov 10 09:46:19 1994 +0100
+++ b/Makefile Fri Nov 11 10:35:03 1994 +0100
@@ -86,7 +86,7 @@
case "$(COMP)" in \
poly*) echo '(use"IMP/ROOT.ML"; use"IOA/ROOT.ML"; use"Subst/ROOT.ML"; use"ex/ROOT.ML"); quit();' \
| $(COMP) $(BIN)/HOL ;;\
- sml*) echo 'use"IMP/ROOT.ML"; use"IOA/ROOT.ML"; use"Subst/ROOT.ML"; use"ex/ROOT.ML";' | $(BIN)/HOL;;\
+ sml*) echo '(use"IMP/ROOT.ML"; use"IOA/ROOT.ML"; use"Subst/ROOT.ML"; use"ex/ROOT.ML");' | $(BIN)/HOL;;\
*) echo Bad value for ISABELLECOMP: \
$(COMP) is not poly or sml;;\
esac