diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-09 15:11:27 -0500 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-09 13:11:27 -0700 |
| commit | 0a02fd2b69c0c0f454fc33d8028b24f4fcf431de (patch) | |
| tree | c1ac5ce905728635b4e872810d68dd3f51ba01d8 /src/api | |
| parent | 5052848f548aefd50cca9550b750eb537eee258c (diff) | |
Fix char overflow issues in regular expression solver (#2275)
Diffstat (limited to 'src/api')
| -rw-r--r-- | src/api/cvc4cpp.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp index bc696a057..3bc8a5cf5 100644 --- a/src/api/cvc4cpp.cpp +++ b/src/api/cvc4cpp.cpp @@ -1753,7 +1753,7 @@ Term Solver::mkString(const std::string& s) const Term Solver::mkString(const unsigned char c) const { - return d_exprMgr->mkConst(String(c)); + return d_exprMgr->mkConst(String(std::string(1, c))); } Term Solver::mkString(const std::vector<unsigned>& s) const |