diff --git a/src/muz/spacer/spacer_quant_generalizer.cpp b/src/muz/spacer/spacer_quant_generalizer.cpp
index dd40d8546..a11ab4d9e 100644
--- a/src/muz/spacer/spacer_quant_generalizer.cpp
+++ b/src/muz/spacer/spacer_quant_generalizer.cpp
@@ -120,7 +120,7 @@ struct index_lt_proc : public std::binary_function<app*, app *, bool> {
             for (expr *e : v)
                 quick_for_each_expr(fn, visited, e);
         }
-        catch (has_nlira_functor::found e) {
+        catch (has_nlira_functor::found ) {
             return true;
         }
         return false;
diff --git a/src/smt/mam.cpp b/src/smt/mam.cpp
index 978a1a8e1..ea2f50263 100644
--- a/src/smt/mam.cpp
+++ b/src/smt/mam.cpp
@@ -2795,6 +2795,7 @@ namespace smt {
         default:
             UNREACHABLE();
         }
+        return false;
     } // end of execute_core
 
     void display_trees(std::ostream & out, const ptr_vector<code_tree> & trees) {