Initial support for string reverse (#3581)

Type rules, parsing and printing, basic rewriting including constant evaluation, reduction for string reverse (`str.rev`).

Also improves support in a few places for tolower/toupper.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/util/regexp.h b/src/util/regexp.h
index d1cb197fb..5b6dc2b62 100644
--- a/src/util/regexp.h
+++ b/src/util/regexp.h
@@ -38,7 +38,7 @@ class CVC4_PUBLIC String {
  public:
   /**
    * The start ASCII code. In our string representation below, we represent
-   * characters using a vector d_vec of unsigned integers. We refer to this as
+   * characters using a vector d_str of unsigned integers. We refer to this as
    * the "internal representation" for the string.
    *
    * We make unsigned integer 0 correspond to the 65th character ("A") in the
@@ -57,7 +57,7 @@ class CVC4_PUBLIC String {
   static inline unsigned num_codes() { return 256; }
   /**
    * Convert unsigned char to the unsigned used in the internal representation
-   * in d_vec below.
+   * in d_str below.
    */
   static unsigned convertCharToUnsignedInt(unsigned char c);
   /** Convert the internal unsigned to a unsigned char. */