diff --git a/compiler/minils/transformations/schedule_interf.ml b/compiler/minils/transformations/schedule_interf.ml
index d7f8154..b759064 100644
--- a/compiler/minils/transformations/schedule_interf.ml
+++ b/compiler/minils/transformations/schedule_interf.ml
@@ -149,6 +149,9 @@ let node _ () f =
     f, ()
 
 let program p =
+  let m = !Compiler_options.interf_all in
+  Compiler_options.interf_all := false;
   let funs = { Mls_mapfold.defaults with Mls_mapfold.node_dec = node } in
   let p, () = Mls_mapfold.program_it funs () p in
+  Compiler_options.interf_all := m;
   p