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) {}