From 4f650ed4dae4d764de1b294daf947d47d39c98e2 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 19 Mar 2016 14:05:50 +0100 Subject: wip. --- src/psl/psl-rewrites.adb | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/psl') diff --git a/src/psl/psl-rewrites.adb b/src/psl/psl-rewrites.adb index 6ba5b1026..173f4da94 100644 --- a/src/psl/psl-rewrites.adb +++ b/src/psl/psl-rewrites.adb @@ -313,10 +313,11 @@ package body PSL.Rewrites is return Rewrite_Boolean (N); when N_Name => return Get_Decl (N); - when N_Sequence_Instance - | N_Endpoint_Instance => + when N_Sequence_Instance => Rewrite_Instance (N); return N; + when N_Endpoint_Instance => + return N; when N_Boolean_Parameter | N_Sequence_Parameter | N_Const_Parameter => -- cgit v1.2.3