Gitiles
Code Review
Sign In
review.sourcearcade.org
/
filo-scratch
/
a6d6315b46c3847f0a65e7e0cd5a5744d1e995a2
/
.
/
default.adc
blob: a1cf7436630a7219f28e3f68c7a90c1ac2c3d88e [
file
] [
log
] [
blame
]
pragma
Restrictions
(
No_Secondary_Stack
);
pragma SPARK_Mode
(
On
);