From b037bdf6049233d1e339da3ef95f3cb603c986f4 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 16 Jul 2015 16:06:42 +0000
Subject: [PATCH] Missing file from last commit.

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

diff --git a/prism/src/parser/Makefile b/prism/src/parser/Makefile
index fc8f5270..79de987c 100644
--- a/prism/src/parser/Makefile
+++ b/prism/src/parser/Makefile
@@ -38,6 +38,9 @@ $(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class: %.java
 clean: checks
 	@rm -f $(CLASS_FILES)
 
+touch: checks
+	@touch PrismParser.jj
+
 celan: clean
 
 #################################################