diff options
| -rw-r--r-- | src/psl/psl-rewrites.adb | 3 |
1 files changed, 1 insertions, 2 deletions
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; |