From c7e85807d5ccff5f5c884eead5784d6dae7a0652 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 8 Dec 2009 11:39:06 +0000 Subject: [PATCH] Tidy in Makefile. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1619 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/Makefile b/prism/Makefile index 6a8955e3..aa7e64ac 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -1,4 +1,4 @@ - ############################################## +############################################## # NB: This is the main Makefile for PRISM. # # It calls all the other Makefiles in # # subdirectories, passing in all the #