diff options
Diffstat (limited to 'src/theory/strings/regexp_entail.cpp')
| -rw-r--r-- | src/theory/strings/regexp_entail.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/strings/regexp_entail.cpp b/src/theory/strings/regexp_entail.cpp index d03893483..a43ec4430 100644 --- a/src/theory/strings/regexp_entail.cpp +++ b/src/theory/strings/regexp_entail.cpp @@ -438,7 +438,9 @@ bool RegExpEntail::testConstStringInRegExp(CVC4::String& s, return true; } } - case REGEXP_EMPTY: { return false; + case REGEXP_EMPTY: + { + return false; } case REGEXP_SIGMA: { |