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