diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-05-18 20:20:58 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-05-18 20:20:58 +0000 |
| commit | 3b93d45dab9513195d5604a069423ed13e173f49 (patch) | |
| tree | 96497114c06755a14efe0d30c680703c9aa5380b /src/prop/cnf_stream.cpp | |
| parent | 76b8bdc51693af0867de94fe6002e8a8bec9e5f9 (diff) | |
This commit removes the dead psuedoboolean code.
Diffstat (limited to 'src/prop/cnf_stream.cpp')
| -rw-r--r-- | src/prop/cnf_stream.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp index d18ec6e69..62d885c06 100644 --- a/src/prop/cnf_stream.cpp +++ b/src/prop/cnf_stream.cpp @@ -234,7 +234,7 @@ SatLiteral CnfStream::convertAtom(TNode node) { Assert(!isTranslated(node), "atom already mapped!"); // boolean variables are not theory literals - bool theoryLiteral = node.getKind() != kind::VARIABLE && !node.getType().isPseudoboolean(); + bool theoryLiteral = node.getKind() != kind::VARIABLE; SatLiteral lit = newLiteral(node, theoryLiteral); if(node.getKind() == kind::CONST_BOOLEAN) { |