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