projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
690eed7
)
fix integer parsing error.. thanks dejan for the report. this indicates that we...
author
Morgan Deters
<mdeters@gmail.com>
Mon, 13 Aug 2012 20:56:15 +0000
(20:56 +0000)
committer
Morgan Deters
<mdeters@gmail.com>
Mon, 13 Aug 2012 20:56:15 +0000
(20:56 +0000)
src/options/options_template.cpp
patch
|
blob
|
history
diff --git
a/src/options/options_template.cpp
b/src/options/options_template.cpp
index a3fc91c95d4ca71b58b48b0e68cb99a4d3195597..97a588414cde6855439e30142e71cf1ea82961ee 100644
(file)
--- 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,
1
0);
if(! std::numeric_limits<T>::is_signed && i < 0) {
// unsigned type but user gave negative argument