From 8523b080b968f98f7469b578e72dc367fe91432c Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 12 Jan 2021 12:14:21 +0100
Subject: [PATCH] [kernel] minor refactoring
---
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 8bdc821d652..8ba8366645a 100644
--- a/src/kernel_services/ast_queries/file.ml
+++ b/src/kernel_services/ast_queries/file.ml
@@ -139,7 +139,7 @@ let from_filename ?cpp f =
| Some cpp -> cpp, cpp_opt_kind ()
in
let flags = if extra_flags <> "" then [extra_flags] else jcdb_flags in
- (if flags = [] then cpp else cpp ^ " " ^ String.concat " " flags), gnu
+ String.concat " " (cpp :: flags), gnu
in
if Filename.check_suffix (f:>string) ".i" then begin
NoCPP f
--
GitLab