Skip to content

Commit

Permalink
Update lib/Conversion/HWToBTOR2/HWToBTOR2.cpp
Browse files Browse the repository at this point in the history
Co-authored-by: Fabian Schuiki <fabian@schuiki.ch>
  • Loading branch information
TaoBi22 and fabianschuiki authored Nov 19, 2024
1 parent db066d4 commit 97c67d0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/Conversion/HWToBTOR2/HWToBTOR2.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -884,7 +884,7 @@ struct ConvertHWToBTOR2Pass
auto initialConstant = circt::seq::unwrapImmutableValue(init)
.getDefiningOp<hw::ConstantOp>();
if (!initialConstant)
reg->emitError("Initial value must be constant!!");
reg->emitError("initial value must be constant");

// Visit the initial Value to generate the constant
dispatchTypeOpVisitor(initialConstant);
Expand Down

0 comments on commit 97c67d0

Please sign in to comment.