From cd98370b338a0cc5343067151884a06431a1d92c Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 19 Nov 2009 22:07:01 +0000
Subject: testing framework, configure fixes, incorporations from meeting,
 continued work

---
 src/parser/smtlib.ypp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/parser/smtlib.ypp')

diff --git a/src/parser/smtlib.ypp b/src/parser/smtlib.ypp
index 0f3aa8cf4..692a9cda5 100644
--- a/src/parser/smtlib.ypp
+++ b/src/parser/smtlib.ypp
@@ -11,9 +11,9 @@
  ** commands in SMT-LIB language.
  **/
 
-#include "vc.h"
-#include "parser_exception.h"
-#include "parser_state.h"
+#include "cvc4.h"
+#include "parser/parser_exception.h"
+#include "parser/parser_state.h"
 
 // Exported shared data
 namespace CVC4 {
-- 
cgit v1.2.3