diff options
Diffstat (limited to 'src/theory/arith/arith_static_learner.h')
-rw-r--r-- | src/theory/arith/arith_static_learner.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/arith_static_learner.h b/src/theory/arith/arith_static_learner.h index d877339b3..66eb4d311 100644 --- a/src/theory/arith/arith_static_learner.h +++ b/src/theory/arith/arith_static_learner.h @@ -84,7 +84,7 @@ private: void miplibTrick(TNode var, std::set<Rational>& values, NodeBuilder<>& learned); - /** These fields are designed to be accessable to ArithStaticLearner methods. */ + /** These fields are designed to be accessible to ArithStaticLearner methods. */ class Statistics { public: IntStat d_iteMinMaxApplications; |