diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-18 12:11:50 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-18 12:11:50 -0500 |
| commit | 6f18015fdcb824f46b969882aa45187b46306e97 (patch) | |
| tree | 8d04dcb3fa263a359886aa156851d4dec3e2c7e8 /src/parser/cvc | |
| parent | 382813c77025e05550876bf02f2782b72d6c8927 (diff) | |
Strings API escape sequences (#1245)
* Argument for strings class to specify whether to process escape sequences.
* Change default value on string constructor.
* Make CVC4::String::toString symmetric to the constructor for CVC4::String, document.
* Clang format.
Diffstat (limited to 'src/parser/cvc')
| -rw-r--r-- | src/parser/cvc/Cvc.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index eef7ca54d..6337fb5f6 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -1978,7 +1978,7 @@ stringTerm[CVC4::Expr& f] /* string literal */ | str[s] - { f = MK_CONST(CVC4::String(s)); } + { f = MK_CONST(CVC4::String(s, true)); } | setsTerm[f] ; |