From 01c12c951ccc12e33f00e5b52c1d59d54f139380 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 12 Apr 2020 18:01:54 -0700
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_dense_diff_logic_def.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/smt/theory_dense_diff_logic_def.h b/src/smt/theory_dense_diff_logic_def.h
index bc0e9342c..aae1080ff 100644
--- a/src/smt/theory_dense_diff_logic_def.h
+++ b/src/smt/theory_dense_diff_logic_def.h
@@ -392,8 +392,6 @@ namespace smt {
 
     template<typename Ext>
     final_check_status theory_dense_diff_logic<Ext>::final_check_eh() {
-        //fix_zero();
-        //compute_epsilon();
         init_model();
         if (assume_eqs(m_var_value_table))
             return FC_CONTINUE;