From 7370396c3052d06cb8e47f4eb062ea6cca9bd53b Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 1 Aug 2018 08:06:56 -0700
Subject: [PATCH] fix the build

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

diff --git a/src/util/lp/static_matrix_def.h b/src/util/lp/static_matrix_def.h
index 1dcaa34f8..7949573de 100644
--- a/src/util/lp/static_matrix_def.h
+++ b/src/util/lp/static_matrix_def.h
@@ -139,7 +139,7 @@ template <typename T, typename X> void static_matrix<T, X>::remove_last_column(u
         auto & row = m_rows[it.var()];
         unsigned offset = row.size() - 1;
         for (auto row_it = row.rbegin(); row_it != row.rend(); row_it ++) {
-            if (row_it-.var() == j) {
+            if (row_it.var() == j) {
                 row.erase(row.begin() + offset);
                 break;
             }