From 4da56aa4dff9b7830ffcb7d393d8b367c0d3774d Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 29 May 2014 12:41:07 +0100
Subject: [PATCH] added debug assertion

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/api/python/z3.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/api/python/z3.py b/src/api/python/z3.py
index 9233a41dc..4eae61c3d 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -4128,6 +4128,7 @@ class Datatype:
         """
         if __debug__:
             _z3_assert(isinstance(name, str), "String expected")
+            _z3_assert(name != "")
         return self.declare_core(name, "is_" + name, *args)
 
     def __repr__(self):