Fix compilation issue

src/spins/promela/compiler/ltsmin/LTSminPrinter.java

@@ -157,6 +157,10 @@ public class LTSminPrinter {
 
 	private static void generateModel(StringWriter w, LTSminModel model,
 	                                  boolean no_gm) {
+		if (no_gm) {
+			w.appendLine("#define SPINS_TEST_CODE").appendLine("");
+		}
+		
 		generateHeader(w, model);
 		generateNativeTypes(w);
 		generateTypeDef(w, model);

src/spins/promela/compiler/ltsmin/reach2.c

 
+#ifndef SPINS_TEST_CODE
+
 #ifndef fgetln
 #include <errno.h>
 char *
@@ -666,6 +668,8 @@ main(int argc, char **argv)
     spins_query();
 }
 
+#endif
+
 typedef struct spins_args_s {
     void               *model;
     void (*callback)(void* arg, transition_info_t *transition_info, state_t *out, int *cpy);