diff --git a/ivette/src/frama-c/kernel/ASTview.tsx b/ivette/src/frama-c/kernel/ASTview.tsx
index 46085ef7d6b25c994b01b2e88fea5f45be04c56c..32ff894a1f53a10a30d1a4f98d398def9d724249 100644
--- a/ivette/src/frama-c/kernel/ASTview.tsx
+++ b/ivette/src/frama-c/kernel/ASTview.tsx
@@ -315,10 +315,7 @@ export default function ASTview(): JSX.Element {
   const unfoldAll = (): void => buffer.forEach(CodeMirror.commands.unfoldAll);
 
   const defaultFold = React.useCallback((): void => {
-    buffer.forEach((cm) => {
-      CodeMirror.commands.foldAll(cm);
-      cm.foldCode(0, undefined, 'unfold');
-    });
+    buffer.forEach((cm) => { CodeMirror.commands.unfoldAll(cm); });
   }, [buffer]);
 
   React.useEffect(() => {