diff --git a/caml/CMtypecheck.ml b/caml/CMtypecheck.ml
index dccaadcf201b5e045339a205b8a134ec57eded31..1ac0065491e1e4bcf680e67aa5c02464b8993c7e 100644
--- a/caml/CMtypecheck.ml
+++ b/caml/CMtypecheck.ml
@@ -345,6 +345,10 @@ let rec type_stmt env blk ret s =
       with Error s ->
         raise (Error (sprintf "In tail call:\n%s" s))
       end
+  | Slabel(lbl, s1) ->
+      type_stmt env blk ret s1
+  | Sgoto lbl ->
+      ()
 
 let rec env_of_vars idl =
   match idl with