summaryrefslogtreecommitdiff
path: root/src/proof/cnf_proof.cpp
blob: 2bf146661ea7c6e2c811a0715228fc268a47d6a7 (plain) 
1
2
3
4
5
6
7
8
9

#include "cnf_proof.h"
using namespace CVC4::prop;

namespace CVC4 {
CnfProof::CnfProof(CnfStream* stream) :
  d_cnfStream(stream) {}


} /* CVC4 namespace */
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback