Skip to content
Snippets Groups Projects
Commit d346d19d authored by Letitia Li's avatar Letitia Li
Browse files

Improved syntax error warning in pragmas

parent c720c292
No related branches found
No related tags found
1 merge request!22Pragma syntax errors are now warnings and new UPPAAL help popup
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment