diff --git a/ivette/src/frama-c/api/generated/kernel/services/index.ts b/ivette/src/frama-c/api/generated/kernel/services/index.ts
index 3133f29bee92e0b011bea0a9a3af76310509b792..fa99770d45ee200b26aee47c0a16fff8b2bdfc42 100644
--- a/ivette/src/frama-c/api/generated/kernel/services/index.ts
+++ b/ivette/src/frama-c/api/generated/kernel/services/index.ts
@@ -82,6 +82,7 @@ const save_internal: Server.SetRequest<string,string | undefined> = {
   name:   'kernel.services.save',
   input:  Json.jString,
   output: Json.jString,
+  signals: [],
 };
 /** Save the current session. Returns an error, if not successfull. */
 export const save: Server.SetRequest<string,string | undefined>= save_internal;