diff --git a/chb/app/Cfg.py b/chb/app/Cfg.py index 09ba1d47..451db56b 100644 --- a/chb/app/Cfg.py +++ b/chb/app/Cfg.py @@ -477,8 +477,6 @@ def stmt_ast( fn = astfn.function def mk_block(stmts: List[AST.ASTStmt]) -> AST.ASTStmt: - if len(stmts) == 1 and not stmts[0].is_ast_instruction_sequence: - return stmts[0] return astree.mk_block(stmts) gotolabels: Set[str] = set() # this is both used and mutated by run_with_gotolabels()