diff --git a/src/proto_demo/lib_protocol/dune.inc b/src/proto_demo/lib_protocol/dune.inc
index 3d9aa9755..4bc1af4d6 100644
--- a/src/proto_demo/lib_protocol/dune.inc
+++ b/src/proto_demo/lib_protocol/dune.inc
@@ -26,7 +26,7 @@
 
 (rule
  (targets functor.ml)
- (deps error.ml services.ml main.mli main.ml
+ (deps error.ml services.mli services.ml main.mli main.ml
        (:src_dir TEZOS_PROTOCOL))
  (action (with-stdout-to %{targets}
                          (chdir %{workspace_root}