Correctly run test1_14
authorAndrew Bernat <bernat@brie.cs.wisc.edu>
Wed, 17 Jun 2009 18:51:06 +0000 (13:51 -0500)
committerAndrew Bernat <bernat@brie.cs.wisc.edu>
Wed, 17 Jun 2009 18:51:06 +0000 (13:51 -0500)
commit510f3edb726340e59bbb8f2bb3be9c73a07cc679
tree9e2d05adf3f7c364401fd789dc32dbdca22a0742
parent1be1218dbbef7ce7172bfb90b4e35a22ef528f58
Correctly run test1_14
testsuite/src/specification/spec-grouped.pl