From 12c388ab7b557ce741c3b773201749ef9aeee223 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 30 Aug 2018 18:51:10 +0200
Subject: Fix #8361: dependency states: camldevfiles

---
 Makefile.dev | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.dev')

diff --git a/Makefile.dev b/Makefile.dev
index 68e96a57b7..7fc1076a8f 100644
--- a/Makefile.dev
+++ b/Makefile.dev
@@ -91,7 +91,7 @@ endif
 
 coqlight: theories-light tools coqbinaries
 
-states: camldevfiles theories/Init/Prelude.vo
+states: theories/Init/Prelude.vo
 
 miniopt: $(COQTOPEXE) pluginsopt
 minibyte: $(COQTOPBYTE) pluginsbyte
-- 
cgit v1.2.3