From 9e7ff7c43bbd1a600c65c55912ea05eac505e0e4 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 10 Oct 2011 21:21:47 +0000
Subject: [PATCH] Makefile fix. Package parser.type may not get built in some
 scenarios.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3969 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/parser/Makefile b/prism/src/parser/Makefile
index a3f4f433..0c9aca52 100644
--- a/prism/src/parser/Makefile
+++ b/prism/src/parser/Makefile
@@ -10,7 +10,7 @@
 THIS_DIR = parser
 PRISM_DIR_REL = ../..
 
-JAVA_FILES = $(wildcard *.java ast/*.java visitor/*.java)
+JAVA_FILES = $(wildcard *.java ast/*.java type/*.java visitor/*.java)
 CLASS_FILES = $(JAVA_FILES:%.java=$(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class)
 
 default: all