From 91d85704313de6be9fd382833f5cedd39e24a6fa Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 8 Aug 2018 19:21:47 -0700
Subject: Plug solver API object into parser. (#2240)

---
 src/parser/cvc/cvc_input.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/parser/cvc/cvc_input.h')

diff --git a/src/parser/cvc/cvc_input.h b/src/parser/cvc/cvc_input.h
index 4da6dbb81..d9a065fd5 100644
--- a/src/parser/cvc/cvc_input.h
+++ b/src/parser/cvc/cvc_input.h
@@ -29,7 +29,6 @@ namespace CVC4 {
 
 class Command;
 class Expr;
-class ExprManager;
 
 namespace parser {
 
-- 
cgit v1.2.3