From b63754e3624c0978e3d8be2d500a6a1ab978e859 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 15 Oct 2017 21:16:54 -0700
Subject: [PATCH] adding explicit assignment for auto-generated function.

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/tactic/sls/sls_tracker.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/tactic/sls/sls_tracker.h b/src/tactic/sls/sls_tracker.h
index b4969f433..15f06f096 100644
--- a/src/tactic/sls/sls_tracker.h
+++ b/src/tactic/sls/sls_tracker.h
@@ -55,6 +55,10 @@ class sls_tracker {
             this->~value_score();
             new (this) value_score(std::move(other));
         }
+        value_score& operator=(value_score& other) {
+            UNREACHABLE();
+            return *this;
+        }
         unsynch_mpz_manager * m;
         mpz value;
         double score;