diff --git a/src/tools/stateflow/common/datatype.ml b/src/tools/stateflow/common/datatype.ml
index a84c88647fd500add56bcdd7165ec7412f83cb3b..4c1383b72a889dd31cb1b9cbf4d38069f4e68179 100644
--- a/src/tools/stateflow/common/datatype.ml
+++ b/src/tools/stateflow/common/datatype.ml
@@ -152,59 +152,62 @@ module SF = struct
         (Format.pp_print_list ~pp_sep:Format.pp_print_semicolon pp_state_name)
         _S
 
-  let pp_state_actions fmt sa =
-    Format.fprintf
-      fmt
-      "@[<hov 0>(%a,@ %a,@ %a)@]"
-      Action.pp_act
-      sa.entry_act
-      Action.pp_act
-      sa.during_act
-      Action.pp_act
-      sa.exit_act
-
-  let pp_state fmt s =
-    Format.fprintf
-      fmt
-      "@[<v 0>(@[<v 0>%a,@ %a,@ %a,@ %a@]@ @])"
-      pp_state_actions
-      s.state_actions
-      pp_transitions
-      s.outer_trans
-      pp_transitions
-      s.inner_trans
-      pp_comp
-      s.internal_composition
-
-  let pp_src pp_sffunction fmt src =
-    Format.fprintf
-      fmt
-      "@[<v>%a@ @]"
-      (Format.pp_print_list ~pp_sep:Format.pp_print_cutcut (fun fmt src ->
-           match src with
-           | State (p, def) ->
-             Format.fprintf fmt "%a: %a" pp_path p pp_state def
-           | Junction (s, tl) ->
-             Format.fprintf fmt "%a: %a" pp_state_name s pp_transitions tl
-           | SFFunction p ->
-             pp_sffunction fmt p))
-      src
-
-  let rec pp_sffunction fmt (Program (name, component_list, _)) =
-    Format.fprintf
-      fmt
-      "SFFunction name: %s@ %a@ "
-      name
-      (pp_src pp_sffunction)
-      component_list
-
-  let pp_vars fmt src =
-    Format.fprintf
-      fmt
-      "@[<v>%a@ @]"
-      (Format.pp_print_list (fun fmt globvar ->
-           Printers.pp_var fmt globvar.GlobalVarDef.variable))
-      src
+  (* let pp_state_actions fmt sa =
+   *   Format.fprintf
+   *     fmt
+   *     "@[<hov 0>(%a,@ %a,@ %a)@]"
+   *     Action.pp_act
+   *     sa.entry_act
+   *     Action.pp_act
+   *     sa.during_act
+   *     Action.pp_act
+   *     sa.exit_act *)
+
+  (* let pp_state fmt s =
+   *   Format.fprintf
+   *     fmt
+   *     "@[<v 0>(@[<v 0>%a,@ %a,@ %a,@ %a@]@ @])"
+   *     pp_state_actions
+   *     s.state_actions
+   *     pp_transitions
+   *     s.outer_trans
+   *     pp_transitions
+   *     s.inner_trans
+   *     pp_comp
+   *     s.internal_composition *)
+
+  (* XXX: UNUSED
+   * let pp_src pp_sffunction fmt src =
+   *   Format.fprintf
+   *     fmt
+   *     "@[<v>%a@ @]"
+   *     (Format.pp_print_list ~pp_sep:Format.pp_print_cutcut (fun fmt src ->
+   *          match src with
+   *          | State (p, def) ->
+   *            Format.fprintf fmt "%a: %a" pp_path p pp_state def
+   *          | Junction (s, tl) ->
+   *            Format.fprintf fmt "%a: %a" pp_state_name s pp_transitions tl
+   *          | SFFunction p ->
+   *            pp_sffunction fmt p))
+   *     src *)
+
+  (* XXX: UNUSED
+   * let rec pp_sffunction fmt (Program (name, component_list, _)) =
+   *   Format.fprintf
+   *     fmt
+   *     "SFFunction name: %s@ %a@ "
+   *     name
+   *     (pp_src pp_sffunction)
+   *     component_list *)
+
+  (* XXX: UNUSED
+   * let pp_vars fmt src =
+   *   Format.fprintf
+   *     fmt
+   *     "@[<v>%a@ @]"
+   *     (Format.pp_print_list (fun fmt globvar ->
+   *          Printers.pp_var fmt globvar.GlobalVarDef.variable))
+   *     src *)
 
   (* XXX: UNUSED *)
   (* let pp_prog fmt (Program (name, component_list, vars)) = *)
diff --git a/src/tools/stateflow/sf_sem.ml b/src/tools/stateflow/sf_sem.ml
index 19d621fef8b02bbed32f44a684fbd466bf50fbaf..66c5aebfa2132483a57f58aa6e20df47a668ee7e 100644
--- a/src/tools/stateflow/sf_sem.ml
+++ b/src/tools/stateflow/sf_sem.ml
@@ -98,7 +98,7 @@ let _ =
     Format.fprintf auto_fmt "%a@." Printers.pp_prog prog;
 
     let params = Backends.get_normalization_params () in
-    let prog, deps = Compiler_stages.stage1 params prog "" "" ".lus" in
+    let prog, _ (*deps*) = Compiler_stages.stage1 params prog "" "" ".lus" in
 
     Options.print_dec_types := false;
     Format.printf "%a@." Printers.pp_prog prog;