Move cardinality inference scheme to base solver in strings (#3792)

[cvc5.git] / src / theory / strings / regexp_operation.h

diff --git a/src/theory/strings/regexp_operation.h b/src/theory/strings/regexp_operation.h
index c7464760d91ebfc0233d6b336b2ed4d7429bc48e..91d5df7443909d7aa8ae211d07d9d84de6c13232 100644 (file)
--- a/src/theory/strings/regexp_operation.h
+++ b/src/theory/strings/regexp_operation.h
@@ -59,7 +59,7 @@ class RegExpOpr {
 
  private:
   /** the code point of the last character in the alphabet we are using */
-  unsigned d_lastchar;
+  uint32_t d_lastchar;
   Node d_emptyString;
   Node d_true;
   Node d_false;