diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-30 03:33:56 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-30 03:33:56 +0000 |
| commit | 192c5592424e5db0afc72e7316c4698949a2f7e5 (patch) | |
| tree | 69ad93b21c668981c8517813130b382e9c82b138 /src/theory | |
| parent | 5fad8e60577136632f12b05fc07336b77fbabe7b (diff) | |
more push/pop infrastructure, some SAT stuff
Diffstat (limited to 'src/theory')
| -rw-r--r-- | src/theory/theory_engine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp index 689ca4cdd..a3b91c132 100644 --- a/src/theory/theory_engine.cpp +++ b/src/theory/theory_engine.cpp @@ -199,7 +199,7 @@ void TheoryEngine::combineTheories() { CVC4_FOR_EACH_THEORY; - // Now add splitters for the ones we are interested in + // Now add splitters for the ones we are interested in for (unsigned i = 0; i < careGraph.size(); ++ i) { const CarePair& carePair = careGraph[i]; |