From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 28 Aug 2009 18:25:48 +0000 (+0000)
Subject: added FOR loop construct to parser.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=e69d11d1690e981772f0da5ee48ff6ee70f49607;p=francis%2Fstp.git

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 c515708..daa28a3 100644
--- 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 c5801a3..b0538e4 100644
--- 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;