From 62b884aa5ad761d708ef01920d70f71aeeb0ee85 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Tue, 16 Aug 2022 05:55:36 +0200 Subject: psl-rewrites: minor style change --- src/psl/psl-rewrites.adb | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src') diff --git a/src/psl/psl-rewrites.adb b/src/psl/psl-rewrites.adb index 885d478b6..7130507a2 100644 --- a/src/psl/psl-rewrites.adb +++ b/src/psl/psl-rewrites.adb @@ -266,8 +266,7 @@ package body PSL.Rewrites is when N_Property_Parameter => Set_Actual (Assoc, Rewrite_Property (Get_Actual (Assoc))); when others => - Error_Kind ("rewrite_instance", - Get_Formal (Assoc)); + Error_Kind ("rewrite_instance", Get_Formal (Assoc)); end case; Assoc := Get_Chain (Assoc); end loop; -- cgit v1.2.3