From b908afb47a2c5951c42f1da7a2d3fd588a76b679 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 20 Sep 2021 11:46:56 +0200
Subject: [PATCH] [ivette] Regenerates api files.
---
ivette/src/frama-c/api/generated/kernel/services/index.ts | 1 +
1 file changed, 1 insertion(+)
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 3133f29bee9..fa99770d45e 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;
--
GitLab