diff options
Diffstat (limited to 'src/theory/strings/regexp_operation.h')
-rw-r--r-- | src/theory/strings/regexp_operation.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/strings/regexp_operation.h b/src/theory/strings/regexp_operation.h index a47f7bd77..9ed4be0c3 100644 --- a/src/theory/strings/regexp_operation.h +++ b/src/theory/strings/regexp_operation.h @@ -9,9 +9,9 @@ ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** - ** \brief Regular Expresion Operations
+ ** \brief Regular Expression Operations
**
- ** Regular Expresion Operations
+ ** Regular Expression Operations
**/
#include "cvc4_private.h"
|