diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-10 00:54:31 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-10 00:54:31 -0500 |
| commit | 784145d4fdbc8f9c68567fb5b71ab1218ef7014d (patch) | |
| tree | 7fb36bb763ceed86c8c78ddbe3faac727a422738 /src/smt/smt_engine.cpp | |
| parent | fbe965fc8363126aa636d75eb51c8c349d0f8240 (diff) | |
Remove "NodeValue width" output
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index d5131e6f6..1b50f71ca 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -439,8 +439,6 @@ public: { d_smt.d_nodeManager->subscribeEvents(this); d_true = NodeManager::currentNM()->mkConst(true); - - Chat() << "NodeValue width" << sizeof(expr::NodeValue) << std::endl; } ~SmtEnginePrivate() { |