From d5dfe07203b86cf7e33f07a4d4fd0857cbc9b5c7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 7 Feb 2020 19:34:34 -0800
Subject: [PATCH] warnings

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_str_mc.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/theory_str_mc.cpp b/src/smt/theory_str_mc.cpp
index 33bd1d664..cdb511777 100644
--- a/src/smt/theory_str_mc.cpp
+++ b/src/smt/theory_str_mc.cpp
@@ -576,7 +576,7 @@ namespace smt {
                 return true;
             }
         }
-        UNREACHABLE(); // ???
+        UNREACHABLE(); // added because compiler complains that not all control paths return a value.
         return false;
     }