X-Git-Url: http://git.kpe.io/?p=snark14.git;a=blobdiff_plain;f=examples%2Frun_all;h=82da88fab8876f584f658bd1c65806d82e6043a7;hp=e4ed0e45c39fdf828352433f7e3260587c1aefe7;hb=8fbca36cd1abc71c89e6d49611dbd58424881a96;hpb=5de7494cf1d3672c9419ac0a3d6f26ae2b9855af

diff --git a/examples/run_all b/examples/run_all
index e4ed0e4..82da88f 100755
--- a/examples/run_all
+++ b/examples/run_all
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 echo "Running all examples. This may take a few minutes."
-for i in 1 3 4 5 6 7 8 10 11 20;
+for i in 1 3 4 5 6 7 8 10 11 12 13 20;
   do
     cd b$i
     snark14 b${i}.in > b${i}.out