From 49bb2a27ec4b41c96fc3881f9a6d06c1ad17e180 Mon Sep 17 00:00:00 2001 From: Tim King Date: Thu, 3 Dec 2015 13:54:15 -0800 Subject: Removing the generated directory from the parsers. --- src/parser/tptp/tptp_input.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/parser/tptp/tptp_input.cpp') diff --git a/src/parser/tptp/tptp_input.cpp b/src/parser/tptp/tptp_input.cpp index 9274d1904..e41a539bb 100644 --- a/src/parser/tptp/tptp_input.cpp +++ b/src/parser/tptp/tptp_input.cpp @@ -22,8 +22,8 @@ #include "parser/parser.h" #include "parser/parser_exception.h" #include "parser/tptp/tptp.h" -#include "parser/tptp/generated/TptpLexer.h" -#include "parser/tptp/generated/TptpParser.h" +#include "parser/tptp/TptpLexer.h" +#include "parser/tptp/TptpParser.h" namespace CVC4 { namespace parser { -- cgit v1.2.3