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

diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h
index 3f40bfbbd57fe25e66c3ad951ad57c234c7fe633..5e68b7a82d395406f5df9229fc01e4a21d8f7da2 100644 (file)
--- 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