From c7fddf80c2a84d5235ddf4325cd2194de66d0083 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 25 Oct 2016 14:34:00 +0100
Subject: [PATCH] fixed unhandled case warning in test/qe_arith.cpp

---
 src/test/qe_arith.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/test/qe_arith.cpp b/src/test/qe_arith.cpp
index 79495e24f..a73f7ed38 100644
--- a/src/test/qe_arith.cpp
+++ b/src/test/qe_arith.cpp
@@ -375,6 +375,9 @@ static void add_random_ineq(
     case opt::t_le:
         fml = a.mk_le(t1, t2);
         break;
+    case opt::t_mod:
+        NOT_IMPLEMENTED_YET();        
+        break;        
     }
     fmls.push_back(fml);
     mbo.add_constraint(vars, rational(coeff), rel);