aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-options.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/grt/grt-options.ads')
-rw-r--r--src/grt/grt-options.ads8
1 files changed, 0 insertions, 8 deletions
diff --git a/src/grt/grt-options.ads b/src/grt/grt-options.ads
index eaf3d022d..34180f15d 100644
--- a/src/grt/grt-options.ads
+++ b/src/grt/grt-options.ads
@@ -125,12 +125,6 @@ package Grt.Options is
-- Set by --stop-delta=XXX to stop the simulation after XXX delta cycles.
Stop_Delta : Natural := 5000;
- -- The default stack size for non-sensitized processes.
- Stack_Size : Natural := 8 * 1024;
-
- -- The maximum stack size for non-sensitized processes.
- Stack_Max_Size : Natural := 128 * 1024;
-
-- Set by --no-run
-- If set, do not simulate, only elaborate.
Flag_No_Run : Boolean := False;
@@ -166,7 +160,5 @@ package Grt.Options is
First_Generic_Override : Generic_Override_Acc;
Last_Generic_Override : Generic_Override_Acc;
private
- pragma Export (C, Stack_Size);
- pragma Export (C, Stack_Max_Size);
pragma Export (C, Nbr_Threads, "grt_nbr_threads");
end Grt.Options;