From d440dae86de77d0743d21dfd8889dfa73d0dc48d Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 6 Jun 2020 18:43:40 +0200 Subject: std_names: remove extra blank. --- src/std_names.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/std_names.adb b/src/std_names.adb index 07d674957..b84667839 100644 --- a/src/std_names.adb +++ b/src/std_names.adb @@ -813,7 +813,7 @@ package body Std_Names is Def ("endpoint", Name_Endpoint); Def ("eventually", Name_Eventually); Def ("fairness", Name_Fairness); - Def ("fell ", Name_Fell); + Def ("fell", Name_Fell); Def ("forall", Name_Forall); Def ("g", Name_G); Def ("inf", Name_Inf); -- cgit v1.2.3