From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 9 Jul 2014 16:22:58 +0000 (-0400)
Subject: Spelling.
X-Git-Tag: cvc5-1.0.0~6698
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4f3c678ba0b74bfe73472c6ba068e2bf712d1bb9;p=cvc5.git

Spelling.
---

diff --git a/src/theory/strings/kinds b/src/theory/strings/kinds
index 3134fcab0..4266c02f5 100644
--- 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