diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-07-16 15:53:51 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-07-16 15:53:51 +0000 |
| commit | 918be3958749556aa3d4f8a4b11273e5f64c08a5 (patch) | |
| tree | 49c9f76fbedffa8f8a98c66f8d95354cf0f35e60 /test/system/boilerplate.cpp | |
| parent | 36615c5e7332e26645b33ce9b6bab25439a5108e (diff) | |
fix inadvertent change to system test
Diffstat (limited to 'test/system/boilerplate.cpp')
| -rw-r--r-- | test/system/boilerplate.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/system/boilerplate.cpp b/test/system/boilerplate.cpp index 18a560c0e..c64c1463e 100644 --- a/test/system/boilerplate.cpp +++ b/test/system/boilerplate.cpp @@ -30,7 +30,6 @@ using namespace std; int main() { ExprManager em; Options opts; - cout << "foo: " << opts.threadArgv.size() << endl; SmtEngine smt(&em); Result r = smt.query(em.mkConst(true)); |