diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-16 21:30:27 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-16 21:30:27 +0000 |
commit | c229389dbf99fa7a747a1bb713e41a3081b6d5fa (patch) | |
tree | f3f142c97174016730d675efb2810e90634a250e /test/system/Makefile.am | |
parent | 604201dc96acc33f23a677d20cdcaa32352b510b (diff) |
some minor fixes to the cvc3 compatibility library and test case
Diffstat (limited to 'test/system/Makefile.am')
-rw-r--r-- | test/system/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/system/Makefile.am b/test/system/Makefile.am index 66e2bd251..4f0fcea14 100644 --- a/test/system/Makefile.am +++ b/test/system/Makefile.am @@ -2,7 +2,7 @@ TESTS_ENVIRONMENT = TESTS = \ boilerplate \ ouroborous -# cvc3_main.cpp +# cvc3_main # Things that aren't tests but that tests rely on and need to # go into the distribution |