From 8aa8ef51c95c822dc1fc588b2fd1300b931eb071 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Sun, 2 Oct 2022 21:07:50 +0200
Subject: [PATCH] [Cil builder] Fix the Stateful stack reset after finish
---
src/kernel_services/ast_building/cil_builder.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_building/cil_builder.ml b/src/kernel_services/ast_building/cil_builder.ml
index 33cdf27fa52..b63d6fe76c6 100644
--- a/src/kernel_services/ast_building/cil_builder.ml
+++ b/src/kernel_services/ast_building/cil_builder.ml
@@ -1132,7 +1132,7 @@ struct
reset_owner ();
match !stack with
| [] -> raise (WrongContext "not in an opened context")
- | [b] -> b
+ | [b] -> stack := []; b
| _ :: _ :: _ -> raise (WrongContext "all contextes have not been closed")
let append_stmt b s =
--
GitLab