From 0c08569d08d937d5cb49e825c680bd8265eec294 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Mon, 20 Sep 2021 09:47:17 +0200
Subject: [PATCH] [Ivette] regenerate generated files
---
ivette/src/frama-c/api/generated/kernel/ast/index.ts | 1 +
1 file changed, 1 insertion(+)
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 3a578b75d8e..f7eb0962181 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;
--
GitLab