From a6ce4fb305e95d8956dcb2bdb57d801b8d092206 Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Mon, 28 Sep 2020 23:34:34 -0300 Subject: [PATCH] [proof-new] Removing spurious forward declaration in CnfStream (#5155) --- src/prop/cnf_stream.h | 2 -- 1 file changed, 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 -- 2.30.2