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