From 52d3de84d44a60f8c10f4a6d3c11a7f68c4a14c8 Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.maroneze@cea.fr> Date: Fri, 2 Apr 2021 15:28:11 +0200 Subject: [PATCH] [Kernel] fix filename for error messages --- src/kernel_internals/runtime/fc_config.ml.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kernel_internals/runtime/fc_config.ml.in b/src/kernel_internals/runtime/fc_config.ml.in index 0af5c88cdb2..b7980cdeba9 100644 --- a/src/kernel_internals/runtime/fc_config.ml.in +++ b/src/kernel_internals/runtime/fc_config.ml.in @@ -20,7 +20,7 @@ (* *) (**************************************************************************) -# 24 "src/kernel_internals/runtime/config.ml.in" +# 24 "src/kernel_internals/runtime/fc_config.ml.in" let version = "@VERSION@" let codename = "@VERSION_CODENAME@" -- GitLab