diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/theory/theory_engine.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index bf4d8d10c..c2511f4e6 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -335,7 +335,7 @@ private: public: IntStat d_statConflicts, d_statPropagate, d_statLemma, d_statAugLemma, d_statExplanatation; Statistics(): - d_statConflicts("theory::conlficts",0), + d_statConflicts("theory::conflicts",0), d_statPropagate("theory::propagate",0), d_statLemma("theory::lemma",0), d_statAugLemma("theory::aug_lemma", 0), |