diff options
Diffstat (limited to 'src/theory/inference_id.cpp')
-rw-r--r-- | src/theory/inference_id.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/inference_id.cpp b/src/theory/inference_id.cpp index 82ae674e2..56d2f0500 100644 --- a/src/theory/inference_id.cpp +++ b/src/theory/inference_id.cpp @@ -118,6 +118,7 @@ const char* toString(InferenceId i) case InferenceId::BAGS_DIFFERENCE_REMOVE: return "BAGS_DIFFERENCE_REMOVE"; case InferenceId::BAGS_DUPLICATE_REMOVAL: return "BAGS_DUPLICATE_REMOVAL"; case InferenceId::BAGS_MAP: return "BAGS_MAP"; + case InferenceId::BAGS_FOLD: return "BAGS_FOLD"; case InferenceId::BV_BITBLAST_CONFLICT: return "BV_BITBLAST_CONFLICT"; case InferenceId::BV_BITBLAST_INTERNAL_EAGER_LEMMA: |