diff options
Diffstat (limited to 'kernel/cellaigs.cc')
| -rw-r--r-- | kernel/cellaigs.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/cellaigs.cc b/kernel/cellaigs.cc index be2e7bbb8..41f81355d 100644 --- a/kernel/cellaigs.cc +++ b/kernel/cellaigs.cc @@ -392,7 +392,7 @@ Aig::Aig(Cell *cell) if (cell->type.in("$eq", "$ne")) { - int width = std::max(GetSize(cell->getPort("\\A")), GetSize(cell->getPort("\\B"))); + int width = max(GetSize(cell->getPort("\\A")), GetSize(cell->getPort("\\B"))); vector<int> A = mk.inport_vec("\\A", width); vector<int> B = mk.inport_vec("\\B", width); int Y = mk.bool_node(false); |