diff --git a/src/backends/Ada/ada_backend.ml b/src/backends/Ada/ada_backend.ml
index 53e4265e239c8e0297c52a9d724cd87527dea5d3..5bdf64fdf2b9720d0b2c90d6157299f0019f5554 100644
--- a/src/backends/Ada/ada_backend.ml
+++ b/src/backends/Ada/ada_backend.ml
@@ -93,7 +93,7 @@ let extract_contract machines m =
     let machine_spec = find_submachine_from_ident ident machines in
     let guarantees =
       match machine_spec.mspec.mnode_spec with
-      | Some (Contract contract) ->
+      | Some (Contract _ (*contract*) ) ->
         (* assert (contract.consts = []);
          * assert (contract.locals = []);
          * assert (contract.stmts = []);
diff --git a/src/machine_code_common.ml b/src/machine_code_common.ml
index 4da14354099a1c63d6612a08e4a7aee65496d7c3..790dedb44e45811a1294e6149ef36846d25a0682 100644
--- a/src/machine_code_common.ml
+++ b/src/machine_code_common.ml
@@ -533,7 +533,7 @@ let empty_machine =
 
 let new_instance =
   let cpt = ref (-1) in
-  fun callee tag ->
+  fun callee _(*tag*) ->
     let o =
       if Stateless.check_node callee then node_name callee
       else
diff --git a/src/machine_types.ml b/src/machine_types.ml
index 3700ef3558b2d1d643e65d75c414d1fe48358418..a7dda7d8274dc5140188a58da083ab8e029d606e 100644
--- a/src/machine_types.ml
+++ b/src/machine_types.ml
@@ -416,7 +416,7 @@ let register_node vars annots =
     []
     annots
 
-let check_node nd vars =
+let check_node _(*nd*) _(*vars*) =
   (* TODO check that all access to vars are valid *)
   ()
 
diff --git a/src/scheduling.ml b/src/scheduling.ml
index fefca68ecc49ff8278e7526dee749a3018abc873..f9081002faa56f132cfc17fc96b1ae96664ca9df 100644
--- a/src/scheduling.ml
+++ b/src/scheduling.ml
@@ -396,7 +396,7 @@ let pp_dep_graph fmt node_schs =
         report.dep_graph)
     node_schs
 
-let pp_warning_unused fmt node_schs =
+let pp_warning_unused _(*fmt*) node_schs =
   IMap.iter
     (fun nd report ->
       let unused = report.unused_vars in
diff --git a/src/sortProg.ml b/src/sortProg.ml
index 9c41dca145fcbfde671249f6bc3327ede0f1977b..9b1902ce2898a837f6b36d0a9e30334d2a7fcb53 100644
--- a/src/sortProg.ml
+++ b/src/sortProg.ml
@@ -18,7 +18,7 @@ let get_node nid prog =
       match t.top_decl_desc with Node n -> n.node_id = nid | _ -> false)
     prog
 
-let check_external_defs x not_nodes = true
+let check_external_defs _ (*x*) _ (*not_nodes*) = true
 (* TODO, check whether a node, a function or an include defines this node *)
 
 let sort prog =