diff options
| -rw-r--r-- | src/prop/cnf_stream.h | 2 |
1 files changed, 0 insertions, 2 deletions
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 |