diff --git a/src/kernel_internals/typing/ghost_cfg.mli b/src/kernel_internals/typing/ghost_cfg.mli index 1ff3bd8f076fe0200d1c9b41fc599428aa4876b2..fa8f3783c350c4298ad978d4b3764d4dada56ad8 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). *) (* *) (**************************************************************************) -