From 67b882d541c56d005f97d026fca8862327db1171 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Wed, 6 Sep 2023 17:24:32 +0200
Subject: [PATCH] Remove Skip from allowed modes in command line

---
 src/kernel_internals/typing/populate_spec.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/kernel_internals/typing/populate_spec.ml b/src/kernel_internals/typing/populate_spec.ml
index 67563d4b869..5f356c5d512 100644
--- a/src/kernel_internals/typing/populate_spec.ml
+++ b/src/kernel_internals/typing/populate_spec.ml
@@ -699,7 +699,6 @@ let get_mode = function
   | "frama-c" -> Frama_C
   | "acsl" -> ACSL
   | "safe" -> Safe
-  | "skip" -> Skip
   | s -> Other s
 
 (* Given a [mode], returns the configuration for each clause. *)
-- 
GitLab