From e669bf61068a516e54e6547490164a54728d81aa Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 4 Jul 2019 18:20:07 +0200
Subject: vhdl: parse and analyze restrict directive.

---
 src/ghdldrv/ghdlprint.adb | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/ghdldrv/ghdlprint.adb')

diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb
index 8cd8de53f..6c5cd5873 100644
--- a/src/ghdldrv/ghdlprint.adb
+++ b/src/ghdldrv/ghdlprint.adb
@@ -396,6 +396,8 @@ package body Ghdlprint is
               | Tok_Psl_Sequence
               | Tok_Psl_Endpoint
               | Tok_Psl_Cover
+              | Tok_Psl_Restrict
+              | Tok_Psl_Restrict_Guarantee
               | Tok_Psl_Boolean
               | Tok_Psl_Const
               | Tok_Inf
-- 
cgit v1.2.3