From f8e6d34bfc92856e84bfa4724cf9219c61bccf55 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 27 Aug 2018 11:33:39 +0200
Subject: [PATCH] synchronize with frama-c/frama-c!1947
---
src/plugins/e-acsl/main.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/main.ml b/src/plugins/e-acsl/main.ml
index 07328232f11..e1d7ac2aa2d 100644
--- a/src/plugins/e-acsl/main.ml
+++ b/src/plugins/e-acsl/main.ml
@@ -64,7 +64,7 @@ let unmemoized_extend_ast () =
let register s =
File.pre_register
(File.NeedCPP
- (Datatype.Filepath.of_string s,
+ (s,
ppc
^ Format.asprintf " -I%s" share,
ppk))
--
GitLab