From 2bdc1cdc3afc8350fb5bb1ba7a438055704a6ed9 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 26 Apr 2020 20:06:46 +0200
Subject: psl: keep locations.

---
 src/psl/psl-nodes.adb | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/psl/psl-nodes.adb')

diff --git a/src/psl/psl-nodes.adb b/src/psl/psl-nodes.adb
index 629041a73..3b3dac4be 100644
--- a/src/psl/psl-nodes.adb
+++ b/src/psl/psl-nodes.adb
@@ -200,6 +200,10 @@ package body PSL.Nodes is
       Nodet.Table (N).Location := Int32 (Loc);
    end Set_Location;
 
+   procedure Copy_Location (N : Node; Src : Node) is
+   begin
+      Set_Location (N, Get_Location (Src));
+   end Copy_Location;
 
    procedure Set_Field1 (N : Node; V : Node) is
    begin
-- 
cgit v1.2.3