diff --git a/frontends/ilang/parser.y b/frontends/ilang/parser.y
index d8ecf37b7..cb438775f 100644
--- a/frontends/ilang/parser.y
+++ b/frontends/ilang/parser.y
@@ -225,6 +225,7 @@ proc_stmt:
 		switch_stack.push_back(&current_process->root_case.switches);
 		case_stack.clear();
 		case_stack.push_back(&current_process->root_case);
+		attrbuf.clear();
 		free($2);
 	} case_body sync_list TOK_END EOL;