[ivette/api] fix signal generation

ivette/src/frama-c/api_generator.ml

@@ -349,8 +349,9 @@ let makeDeclaration fmt names d =
     Format.fprintf fmt "  name:   '%s',@\n" (Pkg.name_of_ident d.d_ident) ;
     Format.fprintf fmt "  input:  %a,@\n" makeParam input ;
     Format.fprintf fmt "  output: %a,@\n" makeParam output ;
-    Format.fprintf fmt "  signals: [%a],@\n"
-      (Pretty_utils.pp_list ~pre:"@[<hov 2>[ " ~sep:",@ " ~suf:"@ ]@]"
+    Format.fprintf fmt "  signals: %a,@\n"
+      (Pretty_utils.pp_list
+         ~empty:"[]" ~pre:"@[<hov 2>[ " ~sep:",@ " ~suf:"@ ]@]"
          (fun fmt s -> Format.fprintf fmt "{ name: '%s' }" s))
          rq.rq_signals;
     Format.fprintf fmt "};@\n" ;

ivette/src/frama-c/kernel/api/ast/index.ts

@@ -478,7 +478,7 @@ const getInformations_internal: Server.GetRequest<
               title: Json.jFail(Json.jString,'String expected'),
               descr: jTextSafe,
             })),
-  signals: [[ { name: 'kernel.ast.getInformationsUpdate' } ]],
+  signals: [ { name: 'kernel.ast.getInformationsUpdate' } ],
 };
 /** Get available informations about markers. When no marker is given, returns all kinds of informations (with empty `descr` field). */
 export const getInformations: Server.GetRequest<