From 0d5abcf9e17b4fe0462ffa60d04a321d2707ccf6 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Tue, 30 Aug 2016 13:42:25 +0200
Subject: Missing .PHONY targets.

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

(limited to 'Makefile.dev')

diff --git a/Makefile.dev b/Makefile.dev
index 501a7744a..1f81edc2c 100644
--- a/Makefile.dev
+++ b/Makefile.dev
@@ -167,7 +167,7 @@ noreal: unicode logic arith bool zarith qarith lists sets fsets \
 .PHONY: init theories-light noreal
 .PHONY: logic arith bool narith zarith qarith lists strings sets
 .PHONY: fsets relations wellfounded reals setoids sorting numbers
-.PHONY: msets mmaps compat
+.PHONY: msets mmaps compat parith classes program unicode structures vectors
 
 ################
 ### 4) plugins
-- 
cgit v1.2.3