--- src/zsolve/Options.cpp.orig 2018-08-19 09:37:54.000000000 -0600
+++ src/zsolve/Options.cpp 2018-10-09 15:22:30.464345255 -0600
@@ -70,7 +70,7 @@ Options::set_defaults ()
m_loglevel = 0;
m_backup_frequency = 0;
m_resume = false;
- m_maxnorm = false;
+ m_maxnorm = 0;
}
void
@@ -195,7 +195,7 @@ Options::process_options (int argc, char
m_graver = true;
break;
case 'm':
- m_maxnorm = true;
+ m_maxnorm = 1;
break;
case 'p':
if (optarg == NULL || !strcmp (optarg, "32"))
@@ -381,7 +381,7 @@ bool Options::graver () const
return m_graver;
}
-bool Options::maxnorm () const
+int Options::maxnorm () const
{
return m_maxnorm;
}
--- src/zsolve/Options.h.orig 2018-08-19 09:37:54.000000000 -0600
+++ src/zsolve/Options.h 2018-10-09 15:20:13.673783047 -0600
@@ -39,7 +39,7 @@ protected:
bool m_resume;
bool m_hilbert;
bool m_graver;
- bool m_maxnorm;
+ int m_maxnorm;
_4ti2_precision m_precision;
public:
@@ -63,7 +63,7 @@ public:
bool resume () const;
bool hilbert () const;
bool graver () const;
- bool maxnorm () const;
+ int maxnorm () const;
_4ti2_precision precision () const;
friend std::istream& operator>>(std::istream& in, Options& options);