# HG changeset patch
# User nipkow
# Date 816277488 -3600
# Node ID 8987c0df4b2fc3a52949a6e5e1f2aad51bfcc841
# Parent  9a449a91425d10a41090d3630531d1541b417c0c
Put IOA back into test

diff -r 9a449a91425d -r 8987c0df4b2f src/HOL/Makefile
--- a/src/HOL/Makefile	Mon Nov 13 12:06:57 1995 +0100
+++ b/src/HOL/Makefile	Mon Nov 13 16:44:48 1995 +0100
@@ -138,7 +138,7 @@
 	echo 'exit_use"ex/ROOT.ML";quit();' | $(LOGIC)
 
 #Full test. (IOA has been removed temporarily)
-test:   $(BIN)/HOL IMP Integ Subst Lambda MiniML ex
+test:   $(BIN)/HOL IMP Integ Subst Lambda MiniML IOA ex
 	echo 'Test examples ran successfully' > test
 
 .PRECIOUS:  $(BIN)/Pure $(BIN)/HOL