[Kernel] fix filename for error messages

52d3de84 · Andre Maroneze · 09c68ea3 · 52d3de84
Commit 52d3de84 authored 4 years ago by Andre Maroneze
--- 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@"