From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 13 Jan 2015 19:18:09 +0000 (-0500)
Subject: Remove private #include.
X-Git-Tag: cvc5-1.0.0~6445
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8c03258865184448cc396d53d845c61cdc183c7c;p=cvc5.git

Remove private #include.
---

diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index dc44ed5ba..aa91a5a1e 100644
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -26,7 +26,6 @@
 #include "parser/parser_exception.h"
 #include "expr/command.h"
 #include "expr/expr.h"
-#include "expr/node.h"
 #include "expr/kind.h"
 #include "expr/type.h"
 #include "util/output.h"