fix inadvertent change to system test

diff --git a/test/system/boilerplate.cpp b/test/system/boilerplate.cpp
index 18a560c0ed4b9df2314018f08b1cd007a426aa1e..c64c1463e3911d29daa0e34eb4c6abe97805a926 100644 (file)
--- 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));