diff options
-rw-r--r-- | cparser/Elab.ml | 3 |
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 |