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