diff options
Diffstat (limited to 'src/textual.cc')
| -rw-r--r-- | src/textual.cc | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/textual.cc b/src/textual.cc index 0cb7fb81..d0e4dad2 100644 --- a/src/textual.cc +++ b/src/textual.cc @@ -1124,11 +1124,10 @@ void instance_t::tag_directive(char * line) if (keyword == "assert" || keyword == "check") { context.journal->tag_check_exprs.insert (tag_check_exprs_map::value_type - (string(p), - expr_t::check_expr_pair(expr_t(b), - keyword == "assert" ? - expr_t::EXPR_ASSERTION : - expr_t::EXPR_CHECK))); + (string(p), expr_t::check_expr_pair(expr_t(b), + keyword == "assert" ? + expr_t::EXPR_ASSERTION : + expr_t::EXPR_CHECK))); } } } |