aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/satgen.h
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-08-11 21:13:40 -0700
committerEddie Hung <eddie@fpgeh.com>2019-08-11 21:13:40 -0700
commit88d5185596a0cc8319658463a31b20644d90dd6b (patch)
tree106f178d42a54403218f93cae2807d6e67981599 /kernel/satgen.h
parent282cc77604a9a855c303869321d4179790b0b64b (diff)
parentc851dc13108021834533094a8a3236da6d9e0161 (diff)
downloadyosys-88d5185596a0cc8319658463a31b20644d90dd6b.tar.gz
yosys-88d5185596a0cc8319658463a31b20644d90dd6b.tar.bz2
yosys-88d5185596a0cc8319658463a31b20644d90dd6b.zip
Merge remote-tracking branch 'origin/master' into eddie/fix_1262
Diffstat (limited to 'kernel/satgen.h')
-rw-r--r--kernel/satgen.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h
index e9f3ecd44..596f522ec 100644
--- a/kernel/satgen.h
+++ b/kernel/satgen.h
@@ -1023,7 +1023,7 @@ struct SatGen
std::vector<int> lut;
for (auto bit : cell->getParam("\\LUT").bits)
- lut.push_back(bit == RTLIL::S1 ? ez->CONST_TRUE : ez->CONST_FALSE);
+ lut.push_back(bit == State::S1 ? ez->CONST_TRUE : ez->CONST_FALSE);
while (GetSize(lut) < (1 << GetSize(a)))
lut.push_back(ez->CONST_FALSE);
lut.resize(1 << GetSize(a));