From 4f3c678ba0b74bfe73472c6ba068e2bf712d1bb9 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 9 Jul 2014 12:22:58 -0400 Subject: [PATCH] Spelling. --- src/theory/strings/kinds | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2