diff --git a/ivette/src/frama-c/api/generated/kernel/ast/index.ts b/ivette/src/frama-c/api/generated/kernel/ast/index.ts
index 3a578b75d8e47b2736eb5cca5862d015c7179cbb..f7eb09621816a478d48035bd2a412e4ebc8d063a 100644
--- a/ivette/src/frama-c/api/generated/kernel/ast/index.ts
+++ b/ivette/src/frama-c/api/generated/kernel/ast/index.ts
@@ -299,6 +299,7 @@ const getMainFunction_internal: Server.GetRequest<null,Json.key<'#fct'>> = {
   name:   'kernel.ast.getMainFunction',
   input:  Json.jNull,
   output: Json.jKey<'#fct'>('#fct'),
+  signals: [],
 };
 /** Get the current 'main' function. */
 export const getMainFunction: Server.GetRequest<null,Json.key<'#fct'>>= getMainFunction_internal;