src/LCF/Makefile

--- a/src/LCF/Makefile	Thu Mar 20 10:49:44 1997 +0100
+++ b/src/LCF/Makefile	Thu Mar 20 11:09:01 1997 +0100
@@ -51,10 +51,10 @@
 (BIN)/FOL:
 	cd ../FOL;  $(MAKE)
 
-test:	ex.ML  $(BIN)/LCF
+test:	ex/ROOT.ML ex/ex.ML  $(BIN)/LCF
 	@case `basename "$(COMP)"` in \
-	poly*)	echo 'exit_use"ex.ML"; quit();' | $(COMP) $(BIN)/LCF ;;\
-	sml*)	echo 'exit_use"ex.ML";' | $(BIN)/LCF;;\
+	poly*)	echo 'exit_use_dir"ex"; quit();' | $(COMP) $(BIN)/LCF ;;\
+	sml*)	echo 'exit_use_dir"ex";' | $(BIN)/LCF;;\
 	*)	echo Bad value for ISABELLECOMP: \
 			\"$(COMP)\" is not poly or sml;;\
 	esac