diff --git a/src/asm_syntax.hpp b/src/asm_syntax.hpp index 4918285e6..9dc6ee049 100644 --- a/src/asm_syntax.hpp +++ b/src/asm_syntax.hpp @@ -387,7 +387,7 @@ struct ZeroCtxOffset { struct BoundedLoopCount { label_t name; - constexpr bool operator==(const BoundedLoopCount&) const = default; + bool operator==(const BoundedLoopCount&) const = default; // Maximum number of loop iterations allowed during verification. // This prevents infinite loops while allowing reasonable bounded loops. // When exceeded, the verifier will report that it cannot prove termination.