From 9dfe47a2cd6d66d3f49546bbf0a716d7f41b3e9e Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 3 Sep 2019 10:45:37 -0700
Subject: [PATCH] fix the python build

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/nla_monotone_lemmas.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/nla_monotone_lemmas.cpp b/src/math/lp/nla_monotone_lemmas.cpp
index 036fdc45a..044ef2e77 100644
--- a/src/math/lp/nla_monotone_lemmas.cpp
+++ b/src/math/lp/nla_monotone_lemmas.cpp
@@ -19,7 +19,6 @@
   --*/
 #include "math/lp/nla_basics_lemmas.h"
 #include "math/lp/nla_core.h"
-// #include "math/lp/factorization_factory_imp.h"
 namespace nla {
 
 monotone::monotone(core * c) : common(c) {}