aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl/psl-rewrites.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/psl/psl-rewrites.adb')
-rw-r--r--src/psl/psl-rewrites.adb3
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;