From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sun, 28 Feb 2010 11:31:31 +0000 (+0000)
Subject: Adding in test 21 to all.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=ab61a975478d874a40db289f39b380cb846b18d3;p=francis%2Fstp.git

Adding in test 21 to all.



git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@620 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/tests/c-api-tests/Makefile b/tests/c-api-tests/Makefile
index 56d6ba0..100dedc 100644
--- a/tests/c-api-tests/Makefile
+++ b/tests/c-api-tests/Makefile
@@ -12,7 +12,7 @@ else
 endif
 
 
-all: 0 1 2 3 4 5 6 7 8 9 10 11 11 12 13 14 15 16 17 18 19 20
+all: 0 1 2 3 4 5 6 7 8 9 10 11 11 12 13 14 15 16 17 18 19 20 21
 	rm -rf *.out
 
 0: