From fc04d679950bc85cde6fb7e95fd1d4d8454ddd26 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 9 Sep 2019 15:30:07 +0200
Subject: [PATCH] [Kernel] Lint Ghost CFG module

---
 src/kernel_internals/typing/ghost_cfg.mli | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/kernel_internals/typing/ghost_cfg.mli b/src/kernel_internals/typing/ghost_cfg.mli
index 1ff3bd8f076..fa8f3783c35 100644
--- a/src/kernel_internals/typing/ghost_cfg.mli
+++ b/src/kernel_internals/typing/ghost_cfg.mli
@@ -19,4 +19,3 @@
 (*  for more details (enclosed in the file licenses/LGPLv2.1).            *)
 (*                                                                        *)
 (**************************************************************************)
-
-- 
GitLab