diff --git a/compiler/heptagon/main/hept_parser_scoper.ml b/compiler/heptagon/main/hept_parser_scoper.ml
index d4cb3fd..436db74 100644
--- a/compiler/heptagon/main/hept_parser_scoper.ml
+++ b/compiler/heptagon/main/hept_parser_scoper.ml
@@ -45,11 +45,8 @@ let parse_interface modname lexbuf =
   (* Parsing of the file *)
   let i = do_silent_pass "Parsing" (parse Hept_parser.interface) lexbuf in
 
-  (* TODO ?
-  let i = { i with Hept_parsetree.=i_modname = modname } in *)
-
-  (* Fuse static exps together *) (* TODO cf Hept_static_scoping *)
-  (*let i = do_silent_pass "Static Scoping" Hept_static_scoping.interface i in *)
+  (* Fuse static exps together *)
+  let i = do_silent_pass "Static Scoping" Hept_static_scoping.interface i in
 
   (* Convert the parse tree to Heptagon AST *)
   let i = do_silent_pass "Scoping" Hept_scoping.translate_interface i in
diff --git a/compiler/heptagon/parsing/hept_static_scoping.ml b/compiler/heptagon/parsing/hept_static_scoping.ml
index 7f2d87a..aa8e2a8 100644
--- a/compiler/heptagon/parsing/hept_static_scoping.ml
+++ b/compiler/heptagon/parsing/hept_static_scoping.ml
@@ -73,10 +73,9 @@ let program p =
   let p, _ = Hept_parsetree_mapfold.program_it funs Names.NamesSet.empty p in
   p
 
-(* (* TODO mapfold on interface *)
 let interface i =
   let funs = { Hept_parsetree_mapfold.defaults
                with node_dec = node; exp = exp; const_dec = const_dec } in
   let i, _ = Hept_parsetree_mapfold.interface_it funs Names.NamesSet.empty i in
   i
-*)
+