From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 13 Aug 2012 20:56:15 +0000 (+0000)
Subject: fix integer parsing error.. thanks dejan for the report.  this indicates that we... 
X-Git-Tag: cvc5-1.0.0~7874
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9684cf346efe1ae33fd0b560b1cae5d11c5fc4b4;p=cvc5.git

fix integer parsing error.. thanks dejan for the report.  this indicates that we have a problem with our Integer class though; it appears to behave differently for GMP and CLN
---

diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp
index a3fc91c95..97a588414 100644
--- a/src/options/options_template.cpp
+++ b/src/options/options_template.cpp
@@ -75,7 +75,7 @@ template <class T>
 struct OptionHandler<T, true, true> {
   static T handle(std::string option, std::string optarg) {
     try {
-      Integer i(optarg, 0);
+      Integer i(optarg, 10);
 
       if(! std::numeric_limits<T>::is_signed && i < 0) {
         // unsigned type but user gave negative argument