From 99294ec7c8054b92536d14883599ff3bfe7745ee Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 31 Jul 2008 12:43:51 +0000
Subject: Added Slabel, Sgoto

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@705 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 caml/CMtypecheck.ml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/caml/CMtypecheck.ml b/caml/CMtypecheck.ml
index dccaadcf..1ac00654 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
-- 
cgit