From f5332204823760c0a741cae804a18a295aa2bbfb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 25 Jul 2023 09:28:30 -0700
Subject: [PATCH] fixing arith build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/interval/dep_intervals.h | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/math/interval/dep_intervals.h b/src/math/interval/dep_intervals.h
index 9b426770a..14340a6a0 100644
--- a/src/math/interval/dep_intervals.h
+++ b/src/math/interval/dep_intervals.h
@@ -299,7 +299,8 @@ public:
             div(a, b, c);
         }
     }
-    
+
+#if 0
     template <enum with_deps_t wd>
     void mul(const interval& a, const mpq& b, interval& c) {
         if (wd == with_deps) {
@@ -308,9 +309,10 @@ public:
             combine_deps(a, comb_rule, c);
         }
         else {
-            mul(b, a, c);
+            mul(a, b, c);
         }
     }
+#endif
 
     template <enum with_deps_t wd>
     void copy_upper_bound(const interval& a, interval& i) const {