This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 156

Summary: Syntax error in local declaration wrongly attributed to global declarations
Product: UPPAAL Reporter: Ole Høgh Jensen <ohj>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED DUPLICATE    
Severity: normal    
Priority: P2    
Version: 3.5.6   
Hardware: PC   
OS: Windows 2000   
Architecture:
Attachments: Test case.

Description Ole Høgh Jensen 2005-06-02 14:23:55 CEST 
Syntax checker reports the error in the global declarations, even though
the error actually occurs in the local declaration of a template.
Comment 1 Gerd Behrmann 2005-06-02 18:13:49 CEST 
Might be a duplicate of bug 157.
Comment 2 Gerd Behrmann 2005-06-03 13:03:36 CEST 
Created attachment 38 [details]
Test case.
Comment 3 Gerd Behrmann 2005-06-03 13:05:38 CEST 
Turns out to be the same problem as bug 157.

*** This bug has been marked as a duplicate of 157 ***