| commit | 3da21473e64edea35dadb10f7b7b663f3816cc8a | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Mon Dec 18 15:43:35 2023 +0100 |
| committer | Nico Huber <nico.huber@secunet.com> | Mon Dec 18 15:44:15 2023 +0100 |
| tree | 83c450fa126d24afb25a1dc9d01db1dedc090409 | |
| parent | 89d0594709a30f9f9998980351a9cd03bd9a5c3a [diff] [blame] |
VFS: Satisfy GNATprove and No_Secondary_Stack
diff --git a/default.adc b/default.adc index c4a1e03..a1cf743 100644 --- a/default.adc +++ b/default.adc
@@ -1 +1,2 @@ +pragma Restrictions (No_Secondary_Stack); pragma SPARK_Mode (On);