From 4b6b7182227984a928ce616f19adce0b6571fad9 Mon Sep 17 00:00:00 2001
From: "Daniel J. Hofmann" <daniel@trvx.org>
Date: Fri, 3 Apr 2015 20:11:58 +0200
Subject: [PATCH] Wunused-exception-parameter

---
 src/muz/duality/duality_dl_interface.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/muz/duality/duality_dl_interface.cpp b/src/muz/duality/duality_dl_interface.cpp
index aa186bd0a..9227059aa 100755
--- a/src/muz/duality/duality_dl_interface.cpp
+++ b/src/muz/duality/duality_dl_interface.cpp
@@ -327,10 +327,10 @@ lbool dl_interface::query(::expr * query) {
   try {
     ans = rs->Solve();
   }
-  catch (Duality::solver::cancel_exception &exn){
+  catch (const Duality::solver::cancel_exception &){
     throw default_exception("duality canceled");
   }
-  catch (Duality::Solver::Incompleteness &exn){
+  catch (const Duality::Solver::Incompleteness &){
     throw default_exception("incompleteness");
   }