From c20b97e8b1cc7e020d259a2f65a6d4ee280208f8 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 6 Feb 2020 16:03:46 +0100
Subject: [PATCH] [typing] export code transformation category of Ghost_cfg

---
 src/kernel_internals/typing/ghost_cfg.mli | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/kernel_internals/typing/ghost_cfg.mli b/src/kernel_internals/typing/ghost_cfg.mli
index fa8f3783c35..3a4c651b14c 100644
--- a/src/kernel_internals/typing/ghost_cfg.mli
+++ b/src/kernel_internals/typing/ghost_cfg.mli
@@ -19,3 +19,9 @@
 (*  for more details (enclosed in the file licenses/LGPLv2.1).            *)
 (*                                                                        *)
 (**************************************************************************)
+
+(** Checks that normal cfg is not altered by ghost statements.
+    Registered as a transformation category (that doesn't transform
+    anything but will complain if ghost cfg is ill-formed)
+*)
+val transform_category: File.code_transformation_category
-- 
GitLab