No need to return a const bool.

Z3Prover · Aug 5, 2022 · 08165f5 · 08165f5
1 parent 9da6895
commit 08165f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
@@ -607,7 +607,7 @@ class theory_lra::imp {
         return v;
     }
 
-    bool const has_int() const { return lp().has_int_var(); }
+    bool has_int() const { return lp().has_int_var(); }
 
     lpvar register_theory_var_in_lar_solver(theory_var v) {
         lpvar lpv = lp().external_to_local(v);