From c3ad2c5690377c47cbc35378f899a430a264bd2f Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 30 Nov 2018 20:55:54 +0100
Subject: parse_psl: Add property_to_sequence.

---
 src/vhdl/psl-errors.ads | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'src/vhdl/psl-errors.ads')

diff --git a/src/vhdl/psl-errors.ads b/src/vhdl/psl-errors.ads
index 88239a844..16aae7772 100644
--- a/src/vhdl/psl-errors.ads
+++ b/src/vhdl/psl-errors.ads
@@ -1,5 +1,6 @@
+with PSL.Nodes;
 with Types; use Types;
-with Errorout;
+with Errorout; use Errorout;
 with Files_Map;
 
 package PSL.Errors is
@@ -11,6 +12,14 @@ package PSL.Errors is
 
    procedure Error_Msg_Parse (Msg: String)
      renames Errorout.Error_Msg_Parse_1;
+
+   procedure Error_Msg_Parse
+     (Loc : Location_Type; Msg: String; Args : Earg_Arr := No_Eargs)
+     renames Errorout.Error_Msg_Parse;
+
    procedure Error_Msg_Sem (Msg: String; Loc: PSL_Node)
      renames Errorout.Error_Msg_Sem_1;
+
+   function "+" (N : PSL_Node) return Location_Type
+     renames PSL.Nodes.Get_Location;
 end PSL.Errors;
-- 
cgit v1.2.3