Skip to content
Snippets Groups Projects
Commit fc04d679 authored by Allan Blanchard's avatar Allan Blanchard Committed by Virgile Prevosto
Browse files

[Kernel] Lint Ghost CFG module

parent c359202b
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_internals/typing/ghost_cfg.mli
+ 0
− 1
View file @ fc04d679
......@@ -19,4 +19,3 @@
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment