diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-06-27 21:06:29 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-06-27 21:06:29 +0000 |
| commit | cde31cf615ccd7f8e090f1713022e5aeae31ccb5 (patch) | |
| tree | 9d63922104fd6d182a59f0cfeeae8e6ab096e895 /src/theory/theory_engine.cpp | |
| parent | 8eea9f5ecc02363e3a8705abe45a6be424d70c4d (diff) | |
This adds TheoryArith::safeToReset(). This fixes bug 363.
Diffstat (limited to 'src/theory/theory_engine.cpp')
0 files changed, 0 insertions, 0 deletions