diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2015-03-28 12:04:33 -0500 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2015-03-28 12:04:33 -0500 |
commit | 8b79e00ea9baf7fec7a2ce390827065ba7e60fcf (patch) | |
tree | 52e941ad34a30ecaae7b7dad31fc69d7729a03cd /src/util | |
parent | 4247dc59f1219695750a33db776ae02b244cee7f (diff) |
printer change for string smtlib2
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/regexp.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/regexp.cpp b/src/util/regexp.cpp index 6bbdcb36a..05aacc06c 100644 --- a/src/util/regexp.cpp +++ b/src/util/regexp.cpp @@ -114,7 +114,7 @@ std::string String::toString() const { std::string str; for(unsigned int i=0; i<d_str.size(); ++i) { unsigned char c = convertUnsignedIntToChar( d_str[i] ); - if(isprint( c )) { + if(isprint( c )) { if(c == '\\') { str += "\\\\"; } |