diff options
Diffstat (limited to 'src/theory/arith/kinds')
| -rw-r--r-- | src/theory/arith/kinds | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/arith/kinds b/src/theory/arith/kinds index 549e9f19b..a724124bd 100644 --- a/src/theory/arith/kinds +++ b/src/theory/arith/kinds @@ -61,6 +61,9 @@ enumerator REAL_TYPE \ enumerator INTEGER_TYPE \ "::CVC4::theory::arith::IntegerEnumerator" \ "theory/arith/type_enumerator.h" +enumerator SUBRANGE_TYPE \ + "::CVC4::theory::arith::SubrangeEnumerator" \ + "theory/arith/type_enumerator.h" operator LT 2 "less than, x < y" operator LEQ 2 "less than or equal, x <= y" |