File incFile = new File(filename.getParent(),relativeFilename);
matchEndLine();
if(!included.contains(incFile)) {
try {
SpecLexer lexer = new SpecLexer(incFile);
SpecParser parser = new SpecParser(incFile, lexer.scan(), included);
SpecFile sf = parser.parse();
included.add(incFile);
return new IncludeDecl(sf, sourceAttr(start,index-1));
} catch(IOException e) {
syntaxError(e.getMessage(),token);