diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2017-01-13 21:23:42 -0800 |
---|---|---|
committer | Clark Barrett <barrett@cs.stanford.edu> | 2017-01-13 21:24:56 -0800 |
commit | 3c42667a8f03d6dae5e419aca0d7711973b327b6 (patch) | |
tree | 95cc5064381d02107cf4817363227bb0dd8a2bac /src/smt | |
parent | fda8400531b63ccc728b1ce22ccf000067707df8 (diff) |
Fix call to SExpr constructor for greater portability.
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/smt_engine.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index a79416b76..e647c45d1 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -2151,10 +2151,13 @@ CVC4::SExpr SmtEngine::getInfo(const std::string& key) const "last result wasn't unknown!"); } } else if(key == "assertion-stack-levels") { - return SExpr(d_userLevels.size()); + AlwaysAssert(d_userLevels.size() <= + std::numeric_limits<unsigned long int>::max()); + return SExpr(static_cast<unsigned long int>(d_userLevels.size())); } else if(key == "all-options") { // get the options, like all-statistics - std::vector< std::vector<std::string> > current_options = Options::current()->getOptions(); + std::vector< std::vector<std::string> > current_options = + Options::current()->getOptions(); return SExpr::parseListOfListOfAtoms(current_options); } else { throw UnrecognizedOptionException(); |