From abac52e1d7b486387c3b8f7c2db23ea81ac039e1 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Mon, 20 Jan 2025 07:33:33 -1000 Subject: [PATCH] remove var_register_dio.h Signed-off-by: Lev Nachmanson --- src/math/lp/dioph_eq.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index a3f0c5252..d60737b3f 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -9,7 +9,7 @@ #include "math/lp/int_solver.h" #include "math/lp/lar_solver.h" #include "math/lp/lp_utils.h" -#include "math/lp/var_register_dio.h" +#include "math/lp/var_register.h" /* Following paper: "A Practical Approach to Satisfiability Modulo Linear Integer Arithmetic" by Alberto Griggio(griggio@fbk.eu). @@ -213,7 +213,7 @@ namespace lp { entry_status m_entry_status; }; - var_register_dio m_var_register; + var_register m_var_register; std_vector m_entries; // the terms are stored in m_A and m_c static_matrix m_e_matrix; // the rows of the matrix are the terms,