From: Clark Barrett <barrett@cs.stanford.edu>
Date: Sat, 14 Jan 2017 05:23:42 +0000 (-0800)
Subject: Fix call to SExpr constructor for greater portability.
X-Git-Tag: cvc5-1.0.0~5915
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3c42667a8f03d6dae5e419aca0d7711973b327b6;p=cvc5.git

Fix call to SExpr constructor for greater portability.
---

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();