From 2b9be50bed52b0dc00ac735e1eac8ffeeb81f507 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 22 Jan 2021 10:52:21 +0100
Subject: [PATCH] [kernel] File: fixes an abort message.
---
src/kernel_services/ast_queries/file.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index a26081d3e9d..889b5cead9a 100644
--- a/src/kernel_services/ast_queries/file.ml
+++ b/src/kernel_services/ast_queries/file.ml
@@ -1671,7 +1671,7 @@ let compute_sources_table cpp_commands =
if exit_code <> 0 then begin
let cause_frama_c_compliant =
if not (Kernel.CppGnuLike.get ()) then
- Kernel.abort "\nPlease ensure preprocessor is Frama-C-compliant \
+ Format.asprintf "\nPlease ensure preprocessor is Frama-C-compliant \
(see option %s)"
Kernel.CppGnuLike.option_name
else ""
--
GitLab