diff options
Diffstat (limited to 'src/theory/arith/kinds')
-rw-r--r-- | src/theory/arith/kinds | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/kinds b/src/theory/arith/kinds index 7883bd92b..b9fac6e20 100644 --- a/src/theory/arith/kinds +++ b/src/theory/arith/kinds @@ -38,7 +38,7 @@ sort INTEGER_TYPE \ constant SUBRANGE_TYPE \ ::CVC4::SubrangeBounds \ - ::CVC4::SubrangeBoundsHashStrategy \ + ::CVC4::SubrangeBoundsHashFunction \ "util/subrange_bound.h" \ "the type of an integer subrange" cardinality SUBRANGE_TYPE \ @@ -51,7 +51,7 @@ well-founded SUBRANGE_TYPE \ constant CONST_RATIONAL \ ::CVC4::Rational \ - ::CVC4::RationalHashStrategy \ + ::CVC4::RationalHashFunction \ "util/rational.h" \ "a multiple-precision rational constant" |