diff --git a/src/opt/opt_context.cpp b/src/opt/opt_context.cpp
index 03f0f016f..a7f4d29b5 100644
--- a/src/opt/opt_context.cpp
+++ b/src/opt/opt_context.cpp
@@ -995,7 +995,7 @@ namespace opt {
             args.push_back(m_arith.mk_numeral(r, r.is_int()));
         }
         if (!eps.is_zero()) {
-            expr* ep = m.mk_const(symbol("epsilon"), m_arith.mk_int());
+            expr* ep = m.mk_const(symbol("epsilon"), m_arith.mk_real());
             if (eps.is_one()) {
                 args.push_back(ep);
             }