From c06ed77ff1a06b685e1ac552cd7a0fd0a7779136 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 2 Jul 2018 15:37:33 -0700
Subject: [PATCH] fix merge

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/lp/lp_utils.h | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/util/lp/lp_utils.h b/src/util/lp/lp_utils.h
index 3dc46f024..e776092a2 100644
--- a/src/util/lp/lp_utils.h
+++ b/src/util/lp/lp_utils.h
@@ -50,10 +50,11 @@ bool contains(const std::unordered_map<A, B> & map, const A& key) {
 
 namespace lp {
 
-inline void throw_exception(const std::string & str) {
-    throw default_exception(str);
-}
-typedef z3_exception exception;
+
+   inline void throw_exception(std::string && str) {
+        throw default_exception(std::move(str));
+    }
+    typedef z3_exception exception;
 
 #define lp_assert(_x_) { SASSERT(_x_); }
 inline void lp_unreachable() { lp_assert(false); }