From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Tue, 29 Sep 2020 02:34:34 +0000 (-0300)
Subject: [proof-new] Removing spurious forward declaration in CnfStream (#5155)
X-Git-Tag: cvc5-1.0.0~2795
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a6ce4fb305e95d8956dcb2bdb57d801b8d092206;p=cvc5.git

[proof-new] Removing spurious forward declaration in CnfStream (#5155)
---

diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h
index 3f40bfbbd..5e68b7a82 100644
--- a/src/prop/cnf_stream.h
+++ b/src/prop/cnf_stream.h
@@ -38,8 +38,6 @@ class OutputManager;
 
 namespace prop {
 
-class PropEngine;
-
 /**
  * Implements the following recursive algorithm
  * http://people.inf.ethz.ch/daniekro/classes/251-0247-00/f2007/readings/Tseitin70.pdf