diff options
Diffstat (limited to 'src/theory/uf')
| -rw-r--r-- | src/theory/uf/equality_engine_types.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/uf/equality_engine_types.h b/src/theory/uf/equality_engine_types.h index d91d5e4f2..fb1e73575 100644 --- a/src/theory/uf/equality_engine_types.h +++ b/src/theory/uf/equality_engine_types.h @@ -74,6 +74,7 @@ enum MergeReasonType { /** Theory specific proof rules */ MERGED_ARRAYS_ROW, MERGED_ARRAYS_ROW1, + MERGED_ARRAYS_EXT }; inline std::ostream& operator << (std::ostream& out, MergeReasonType reason) { |