From 61964854142d895e62b1ccba346f97617a2d1180 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 6 Oct 2020 16:18:36 +0200
Subject: [PATCH] [kernel] fix function name
---
src/kernel_internals/runtime/dump_config.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_internals/runtime/dump_config.ml b/src/kernel_internals/runtime/dump_config.ml
index fa0c4ed1d51..a5306e02a9e 100644
--- a/src/kernel_internals/runtime/dump_config.ml
+++ b/src/kernel_internals/runtime/dump_config.ml
@@ -20,7 +20,7 @@
(* *)
(**************************************************************************)
-let list_plugins_names () =
+let list_plugin_names () =
Plugin.fold_on_plugins (fun p acc -> p.Plugin.p_name :: acc) []
let dump_parameter tp =
@@ -71,7 +71,7 @@ let dump_to_json () =
"dot", (match Fc_config.dot with Some cmd -> `String cmd | None -> `Null) ;
"current_machdep", `String (Kernel.Machdep.get ()) ;
"machdeps", list string (File.list_available_machdeps ()) ;
- "plugins", list string (list_plugins_names ()) ;
+ "plugins", list string (list_plugin_names ()) ;
"parameters", `Assoc (dump_all_parameters ()) ;
]
--
GitLab