index 541b3a57f55dae71a8936e0c696f6ad506084340..f1b175cf476d22f404de648888f0d39e45c9de81 100644 (file)
--- a/test.c
+++ b/test.c
#include <assert.h>
static char source_test[] =
#include <assert.h>
static char source_test[] =
+ "(* Main module *)"
"MODULE Test;"
"IMPORT I := Imported;"
"VAR"
"MODULE Test;"
"IMPORT I := Imported;"
"VAR"