From 2252836cf8d9d87027aae6137f7478efa4e338f1 Mon Sep 17 00:00:00 2001
From: "Daniel J. Hofmann" <daniel@trvx.org>
Date: Fri, 3 Apr 2015 19:53:13 +0200
Subject: [PATCH] Wstring-conversion

static_cast<bool>("string lit") evaluates to true. The assert is
supposed to always trigger, thus assert(false && "string lit").
---
 src/interp/iz3foci.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/interp/iz3foci.cpp b/src/interp/iz3foci.cpp
index 527e73ae4..fbb52a071 100755
--- a/src/interp/iz3foci.cpp
+++ b/src/interp/iz3foci.cpp
@@ -272,7 +272,7 @@ public:
 	}
 	break;
       default:
-	assert("unknown built-in op");
+	assert(false && "unknown built-in op");
       }
     }
     else if(foci->get_int(i,nval)){