From 965a77215fba965a0ac0b8de4a1fafe5ad67c0b3 Mon Sep 17 00:00:00 2001
From: Joel Beeren <joel.beeren@nicta.com.au>
Date: Tue, 8 Aug 2017 12:22:00 +1000
Subject: [PATCH] misc: add dependency for design spec to DBaseRefine, DRefine

tags: [NO_PROOF]
---
 proof/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proof/Makefile b/proof/Makefile
index c5b2f8a89..30fa8d8a8 100644
--- a/proof/Makefile
+++ b/proof/Makefile
@@ -47,7 +47,7 @@ HEAPS += SepTactics SepTacticsExamples
 
 CKernel CSpec: c-kernel
 SimplExportAndRefine: c-kernel
-BaseRefine Refine: design-spec
+BaseRefine Refine DBaseRefine DRefine: design-spec
 CBaseRefine CRefine: c-kernel design-spec
 
 # Preprocess the kernel's source code and bitfield theory files.