added FOR loop construct to parser.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@149 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/parser/CVC.lex b/src/parser/CVC.lex
index c515708897f9a7229b822a678468cc1dc80ff4e5..daa28a3e37f0cb0e594f687a7b9e35ce7a6f9c6e 100644 (file)
--- a/src/parser/CVC.lex
+++ b/src/parser/CVC.lex
@@ -6,6 +6,7 @@
  *
  * LICENSE: Please view LICENSE file in the home dir of this Program
  ********************************************************************/
+
 #include <iostream>
 #include "../AST/AST.h"
 #include "parseCVC_defs.h"

diff --git a/src/parser/CVC.y b/src/parser/CVC.y
index c5801a319f73732d92bbe01c2453a49648a0efba..b0538e409e63b89a628f9f385138448268e8acc4 100644 (file)
--- a/src/parser/CVC.y
+++ b/src/parser/CVC.y
@@ -15,6 +15,7 @@ using namespace std;
   // compile error)
 #undef __GNUC_MINOR__
 
+
   extern int cvclex(void);
   extern char* yytext;
   extern int cvclineno;