diff options
Diffstat (limited to 'src/theory/inference_id.cpp')
| -rw-r--r-- | src/theory/inference_id.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/inference_id.cpp b/src/theory/inference_id.cpp index 94f90bc46..822f79397 100644 --- a/src/theory/inference_id.cpp +++ b/src/theory/inference_id.cpp @@ -24,6 +24,8 @@ const char* toString(InferenceId i) switch (i) { case InferenceId::ARITH_PP_ELIM_OPERATORS: return "ARITH_PP_ELIM_OPERATORS"; + case InferenceId::ARITH_PP_ELIM_OPERATORS_LEMMA: + return "ARITH_PP_ELIM_OPERATORS_LEMMA"; case InferenceId::ARITH_NL_CONGRUENCE: return "ARITH_NL_CONGRUENCE"; case InferenceId::ARITH_NL_SHARED_TERM_VALUE_SPLIT: return "ARITH_NL_SHARED_TERM_VALUE_SPLIT"; |