diff --git a/src/smt/theory_arith_core.h b/src/smt/theory_arith_core.h
index dd1924e44..5c652414a 100644
--- a/src/smt/theory_arith_core.h
+++ b/src/smt/theory_arith_core.h
@@ -3269,7 +3269,7 @@ namespace smt {
     template<typename Ext>
     bool theory_arith<Ext>::get_lower(enode * n, expr_ref & r) {        
         theory_var v = n->get_th_var(get_id());
-        bound * b = (v == null_theory_var) ? 0 : lower(v);
+        bound* b = (v == null_theory_var) ? 0 : lower(v);
         return b && to_expr(b->get_value(), is_int(v), r);
     }