You've already forked RecordFlux
mirror of
https://github.com/AdaCore/RecordFlux.git
synced 2026-02-12 13:01:56 -08:00
5 lines
173 B
Plaintext
5 lines
173 B
Plaintext
pragma Restrictions (No_Elaboration_Code);
|
|
pragma Restrictions (No_Exceptions);
|
|
pragma Restrictions (No_Secondary_Stack);
|
|
pragma Restrictions (No_Tagged_Type_Registration);
|