summaryrefslogtreecommitdiff
path: root/frontends
diff options
context:
space:
mode:
Diffstat (limited to 'frontends')
-rw-r--r--frontends/ast/simplify.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index 3d995119..b51079ce 100644
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -1602,7 +1602,7 @@ void AstNode::mem2reg_as_needed_pass1(std::map<AstNode*, std::set<std::string>>
if (proc_flags_p) {
for (auto it : *proc_flags_p)
- assert((it.second & ~0xff000000) == 0);
+ log_assert((it.second & ~0xff000000) == 0);
delete proc_flags_p;
}
}