diff --git a/src/kernel_internals/typing/populate_spec.ml b/src/kernel_internals/typing/populate_spec.ml
index 67563d4b869f5a020c3634e2294587eea667dec9..5f356c5d5120000b5bef55e656f21cb4056a4356 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. *)