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] ; |