#include support?
Although the “keyword” #define seems to be recognized, nothing seems to be imported.
See the following two files:
def.pml:
typedef test{
int x;
bool b;
}imp.pml:
include “def.pml”
test y;
init{ skip; }
Submitted by Kees Pronk on 23 August 2011 at 13:50
Issue Log
On 20 September 2011 at 15:15 Bob de Vos tagged grammar
On 17 October 2011 at 22:34 Bob de Vos closed this issue.
On 17 October 2011 at 22:34 Bob de Vos commented:
Implemented in 1.0.3
On 17 October 2011 at 22:34 Bob de Vos tagged fixed1.0.3
Log in to post comments