Skip to content
Snippets Groups Projects
Commit fa26b8ad authored by Thibault Martin's avatar Thibault Martin Committed by Allan Blanchard
Browse files

New syntax for ACSL extension 

Use "\plugin::ext" instead of "ext"
  - allows for better warning messages
  - Ignored if plugin is not loaded / ext is not registered
  - raise an error if ext comes from a different plugin
parent 21c81847
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 85 additions and 15 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment