From 313d7236a7fafd130d27daa6f5e3beff3bfe08c9 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 26 Aug 2016 05:06:43 +0200
Subject: Also consider 'not' for non-psl assert statement.

Fixes #141
---
 src/vhdl/sem_psl.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/vhdl/sem_psl.adb b/src/vhdl/sem_psl.adb
index bdcc35112..e537dc8a6 100644
--- a/src/vhdl/sem_psl.adb
+++ b/src/vhdl/sem_psl.adb
@@ -589,7 +589,7 @@ package body Sem_Psl is
       case Get_Kind (Expr) is
          when N_HDL_Expr =>
             return True;
-         when N_And_Bool | N_Or_Bool =>
+         when N_And_Bool | N_Or_Bool | N_Not_Bool =>
             return True;
          when others =>
             return False;
-- 
cgit v1.2.3