From c4d893dfada6aa18a0043126ed8c345a6069ea81 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 30 Jun 2018 06:10:09 -0700
Subject: [PATCH] fix compiler warnings

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/muz/spacer/spacer_quant_generalizer.cpp | 2 +-
 src/smt/mam.cpp                             | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

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) {