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

Bug 156 - Syntax error in local declaration wrongly attributed to global declarations
Summary: Syntax error in local declaration wrongly attributed to global declarations
Status: RESOLVED DUPLICATE of bug 157
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.5.6
Hardware: PC Windows 2000
: P2 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2005-06-02 14:23 CEST by Ole Høgh Jensen
Modified: 2005-06-03 13:05 CEST (History)
0 users

See Also:
Architecture:

Attachments
Test case. (9.38 KB, application/octet-stream)
2005-06-03 13:03 CEST, Gerd Behrmann 		Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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 ***