From 91670c3cfc3483b92379c544e7c95efb61cb3ae2 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 31 May 2020 18:18:00 +0200
Subject: grt: call finalizer after std.env.finish/stop.  For #1347

---
 src/grt/grt-main.adb      | 2 ++
 src/grt/grt-processes.adb | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/grt/grt-main.adb b/src/grt/grt-main.adb
index 29a12cb6b..1aceb39e7 100644
--- a/src/grt/grt-main.adb
+++ b/src/grt/grt-main.adb
@@ -171,6 +171,8 @@ package body Grt.Main is
 
    procedure Run_Finish (Status : Integer) is
    begin
+      Grt.Processes.Simulation_Finish;
+
       Grt.Hooks.Call_Finish_Hooks;
 
       if Flag_Stats then
diff --git a/src/grt/grt-processes.adb b/src/grt/grt-processes.adb
index f1de1f03c..f19d9bfa2 100644
--- a/src/grt/grt-processes.adb
+++ b/src/grt/grt-processes.adb
@@ -1249,7 +1249,7 @@ package body Grt.Processes is
 
       Status := Simulation_Main_Loop;
 
-      Simulation_Finish;
+      --  Note: the caller must call Simulation_Finish.
 
       return Status;
    end Simulation;
-- 
cgit v1.2.3