Fixing typo.

diff --git a/src/theory/arith/theory_arith_private.cpp b/src/theory/arith/theory_arith_private.cpp
index 328a07a24376924bdaf0195716431cb298605c88..c9c45af2f6a081e83d2889639d8e455ac309cf98 100644 (file)
--- a/src/theory/arith/theory_arith_private.cpp
+++ b/src/theory/arith/theory_arith_private.cpp
@@ -331,7 +331,7 @@ TheoryArithPrivate::Statistics::Statistics()
   , d_cutsRejectedDuringLemmas("theory::arith::z::approx::external::cuts::rejected", 0)
   , d_satPivots("theory::arith::pivots::sat")
   , d_unsatPivots("theory::arith::pivots::unsat")
-  , d_unknownPivots("theory::arith::pivots::unkown")
+  , d_unknownPivots("theory::arith::pivots::unknown")
   , d_solveIntModelsAttempts("theory::arith::z::solveInt::models::attempts", 0)
   , d_solveIntModelsSuccessful("theory::arith::zzz::solveInt::models::successful", 0)
   , d_mipTimer("theory::arith::z::approx::mip::timer")