From 36d587e519385827d658bed4a2897689442e4936 Mon Sep 17 00:00:00 2001
From: Lev <levnach@hotmail.com>
Date: Tue, 25 Sep 2018 17:58:33 -0700
Subject: [PATCH] fix the build

Signed-off-by: Lev <levnach@hotmail.com>
---
 src/util/lp/nla_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/lp/nla_solver.cpp b/src/util/lp/nla_solver.cpp
index bbc80576c..81046a6b6 100644
--- a/src/util/lp/nla_solver.cpp
+++ b/src/util/lp/nla_solver.cpp
@@ -1115,7 +1115,7 @@ struct solver::imp {
 
             void add_factorization_explanation(expl_set expl) const {
                 SASSERT(false);
-                /see get_factors()!
+                // see get_factors()!
             }
             
             self_type operator++() {  self_type i = *this; operator++(1); return i;  }