diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-09-28 23:34:34 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-28 21:34:34 -0500 |
| commit | a6ce4fb305e95d8956dcb2bdb57d801b8d092206 (patch) | |
| tree | f84118ce938a0472d8c72a09c70fac78fe02240f /src/prop | |
| parent | b9e889c6c126ecb6ffa8fa65977a2924b42d2812 (diff) | |
[proof-new] Removing spurious forward declaration in CnfStream (#5155)
Diffstat (limited to 'src/prop')
| -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 |