From eba7f5ac8c773767a7a45347a6347bcd9d43dcf8 Mon Sep 17 00:00:00 2001
From: Benjamin Canou <benjamin@canou.fr>
Date: Wed, 6 Mar 2019 00:40:21 +0100
Subject: [PATCH] Dune: fix dune.inc for added file in proto demo

---
 src/proto_demo/lib_protocol/dune.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}