Removed yywrap function

Author: RKX1209

Makefile.common

@@ -9,7 +9,7 @@ INCLUDE =		include
 DEBUG		=		y
 CFLAGS	=		-I$(INCLUDE)
 CFLAGS-y= 	-g $(CFLAGS)
-LDFLAGS	=		-lfl
+LDFLAGS	=		
 SHELL :=		/bin/bash
 INFO    =   @: echo ' '
 ifeq ($(UNAME),Linux)

parser/smt2.lex

@@ -4,7 +4,7 @@
   #include <stdlib.h>
   #include <c3_core.h>
   #include "parsesmt2.h"
-  
+
   extern char *yytext;
   static int lookup(char *s) {
     char * cleaned = NULL;
@@ -37,6 +37,8 @@
   }
 %}
 
+%option noyywrap
+
 /* start states */
 %x  COMMENT