From 7912b6f5ee04c5b5dc02771e7e789f2ef0b61303 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 24 Apr 2019 11:52:09 +0200
Subject: [PATCH] [wp] fix headers & lint
---
src/plugins/wp/ProverDetect.None.ml | 3 ++-
src/plugins/wp/ProverDetect.Why3.ml | 5 +++--
2 files changed, 5 insertions(+), 3 deletions(-)
diff --git a/src/plugins/wp/ProverDetect.None.ml b/src/plugins/wp/ProverDetect.None.ml
index 0efa02d3015..771dbba1b78 100644
--- a/src/plugins/wp/ProverDetect.None.ml
+++ b/src/plugins/wp/ProverDetect.None.ml
@@ -1,4 +1,3 @@
-# 1 "src/plugins/wp/ProverDetect.None.ml"
(**************************************************************************)
(* *)
(* This file is part of WP plug-in of Frama-C. *)
@@ -21,6 +20,8 @@
(* *)
(**************************************************************************)
+# 23 "src/plugins/wp/ProverDetect.None.ml"
+
(* -------------------------------------------------------------------------- *)
(* --- Prover Detection (no why3) --- *)
(* -------------------------------------------------------------------------- *)
diff --git a/src/plugins/wp/ProverDetect.Why3.ml b/src/plugins/wp/ProverDetect.Why3.ml
index 08f246fad4f..ff6b33c6495 100644
--- a/src/plugins/wp/ProverDetect.Why3.ml
+++ b/src/plugins/wp/ProverDetect.Why3.ml
@@ -1,4 +1,3 @@
-# 1 "src/plugins/wp/ProverDetect.Why3.ml"
(**************************************************************************)
(* *)
(* This file is part of WP plug-in of Frama-C. *)
@@ -21,6 +20,8 @@
(* *)
(**************************************************************************)
+# 23 "src/plugins/wp/ProverDetect.Why3.ml"
+
(* -------------------------------------------------------------------------- *)
(* --- Why3 Prover Detection --- *)
(* -------------------------------------------------------------------------- *)
@@ -53,7 +54,7 @@ let detect () =
dp_version = dp.prover_version ;
dp_altern = dp.prover_altern ;
dp_shortcuts = List.rev keys ;
- } :: dps
+ } :: dps
) !index []
in List.rev dps
--
GitLab