Next: Partition Attribute Task_Pool, Previous: Partition Attribute Reconnection, Up: The Configuration Language [Contents][Index]
A library unit is consistent if the same version of its declaration is used throughout (see Consistency and Elaboration). It can be useful to deactivate these checks, especially when the user wants to be able to update a server without updating a client.
PRAGMA ::= pragma Version ([Check =>] BOOLEAN_LITERAL);