diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-06-16 17:37:33 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-06-16 17:37:33 +0000 |
| commit | adae14a07b1019d092b4d5aa0cf809f9d0eca66d (patch) | |
| tree | a400d2a6753e52d01e36ae7ca8f63335d238c466 /src/theory/theory.cpp | |
| parent | 86aa93a619e4697b92c719f478399965ccb96d2d (diff) | |
Fixing if condition for trivial equalities in arithmetic. Also some whitespace issues in smt_engine.cpp.
Diffstat (limited to 'src/theory/theory.cpp')
0 files changed, 0 insertions, 0 deletions