projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 989a886)
Spelling.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 9 Jul 2014 16:22:58 +0000 (12:22 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 11 Jul 2014 19:56:01 +0000 (15:56 -0400)
src/theory/strings/kinds patch | blob | history

diff --git a/src/theory/strings/kinds b/src/theory/strings/kinds
index 3134fcab000a0b6f384ecaeaee54ab7f613b7145..4266c02f5b132ced41db6d2d461e7d63c80e4ee7 100644 (file)
--- a/src/theory/strings/kinds
+++ b/src/theory/strings/kinds
@@ -86,7 +86,7 @@ operator REGEXP_RANGE 2 "regexp range"
 operator REGEXP_LOOP 2:3 "regexp loop"
 
 operator REGEXP_EMPTY 0 "regexp empty"
-operator REGEXP_SIGMA 0 "regexp all charactors"
+operator REGEXP_SIGMA 0 "regexp all characters"
 
 typerule REGEXP_CONCAT ::CVC4::theory::strings::RegExpConcatTypeRule
 typerule REGEXP_UNION ::CVC4::theory::strings::RegExpUnionTypeRule