# HG changeset patch
# User wenzelm
# Date 858878825 -3600
# Node ID f56e0cac7de9503019758bd9b7ac6a462d70d8a5
# Parent  c6b491e837cbee2f198eb24a85b6621c2ddbb4d9
exit_use_dir;

diff -r c6b491e837cb -r f56e0cac7de9 src/Sequents/Makefile
--- a/src/Sequents/Makefile	Thu Mar 20 12:34:08 1997 +0100
+++ b/src/Sequents/Makefile	Thu Mar 20 18:27:05 1997 +0100
@@ -60,13 +60,11 @@
 
 test:	$(BIN)/Sequents	 $(EX_FILES)
 	@case `basename "$(COMP)"` in \
-	poly*)	echo 'exit_use"ex/ROOT.ML";quit();' | $(COMP) $(BIN)/Sequents;;\
-	sml*)	echo 'exit_use"ex/ROOT.ML";' | $(BIN)/Sequents;;\
+	poly*)	echo 'exit_use_dir"ex";quit();' | $(COMP) $(BIN)/Sequents;;\
+	sml*)	echo 'exit_use_dir"ex";' | $(BIN)/Sequents;;\
 	*)	echo Bad value for ISABELLECOMP: \
 			\"$(COMP)\" is not poly or sml;;\
 	esac
 
 
-
-
 .PRECIOUS:  $(BIN)/Pure $(BIN)/Sequents