3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00

fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-01-09 10:04:13 -08:00
parent 580faa72aa
commit 94386a0f6b
2 changed files with 4 additions and 0 deletions

View file

@ -293,6 +293,9 @@ namespace sat {
void aig_cuts::flush_roots(literal_vector const& to_root, node& n) {
bool changed = false;
if (n.is_var()) {
return;
}
for (unsigned i = 0; i < n.num_children(); ++i) {
literal& lit = m_literals[n.offset() + i];
if (to_root[lit.var()] != lit) {

View file

@ -14,6 +14,7 @@
#pragma once
#include "util/region.h"
#include "util/debug.h"
#include "util/util.h"
#include <algorithm>
namespace sat {