also remove SPEC_UPPER_BOUND, useless

vprover · Apr 3, 2024 · cb6a914 · cb6a914
1 parent 77d2f61
commit cb6a914
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/Kernel/Term.hpp b/Kernel/Term.hpp
@@ -97,8 +97,6 @@ bool operator<(const TermList& lhs, const TermList& rhs);
  */
 class TermList {
 public:
-  // divide by 4 because of the tag, by 2 to split the space evenly
-  static const unsigned SPEC_UPPER_BOUND = (UINT_MAX / 4) / 2;
   /* default constructor, satisfying isEmpty() */
   TermList() : _content(FUN) {}
   /** creates a term list containing a pointer to a term */
@@ -140,7 +138,7 @@ class TermList {
   /** the term contains an ordinary variable as its head */
   inline bool isOrdinaryVar() const { return tag() == ORD_VAR; }
   /** the term contains a special variable as its head */
-  inline bool isSpecialVar() const { return tag() == SPEC_VAR && var() < SPEC_UPPER_BOUND; }
+  inline bool isSpecialVar() const { return tag() == SPEC_VAR; }
 
   /** return the variable number */
   inline unsigned var() const