Gitiles
Code Review
Sign In
review.sourcearcade.org
/
filo-scratch
/
65f2ea29c6c98d7454d07385d4de4af884acfc3d
/
.
/
default.adc
blob: a1cf7436630a7219f28e3f68c7a90c1ac2c3d88e [
file
] [
log
] [
blame
]
Nico Huber
3da2147
2023-12-18 15:43:35 +0100
[
diff
] [
blame
]
1
pragma
Restrictions
(
No_Secondary_Stack
);
Thomas Heijligen
d1e0457
2023-11-27 14:28:55 +0000
[
diff
] [
blame
]
2
pragma SPARK_Mode
(
On
);