From 2e9c3555cbc845adad75aa5aeadc4d7dd6711fc4 Mon Sep 17 00:00:00 2001
From: Maciej Suminski <maciej.suminski@cern.ch>
Date: Thu, 3 Dec 2015 17:56:56 +0100
Subject: [PATCH] vhdlpp: AssertStmt::elaborate() probes the condition type.

---
 vhdlpp/sequential_elaborate.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vhdlpp/sequential_elaborate.cc b/vhdlpp/sequential_elaborate.cc
index 4ba864c2b..4b033c6e5 100644
--- a/vhdlpp/sequential_elaborate.cc
+++ b/vhdlpp/sequential_elaborate.cc
@@ -219,7 +219,7 @@ int BasicLoopStatement::elaborate(Entity*, ScopeBase*)
 
 int AssertStmt::elaborate(Entity*ent, ScopeBase*scope)
 {
-    return cond_->elaborate_expr(ent, scope, 0);
+    return cond_->elaborate_expr(ent, scope, cond_->probe_type(ent, scope));
 }
 
 int WaitForStmt::elaborate(Entity*ent, ScopeBase*scope)