1 files changed, 2 insertions, 1 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index 219326c9..beb3e3cf 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -2595,7 +2595,8 @@ let check_switch_cases switch_body =
               Diagnostics.error s.sloc "multiple default labels in one switch"
             else
               default := true
-        end
+        end;
+        check s1
     | Sgoto _ -> ()
     | Sreturn _ -> ()
     | Sblock sl -> List.iter check sl