From 77abf16ab86a67902d42651aef02de8c32c3fddd Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 4 Sep 2009 07:28:55 +0000
Subject: [PATCH] Makefile bug.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1441 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/Makefile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/prism/Makefile b/prism/Makefile
index 82398ac6..5b983e47 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -102,8 +102,6 @@ endif
 #JAVA_DIR =	/cygdrive/c/java/j2sdk1.4.2
 #JAVA_DIR =	/System/Library/Frameworks/JavaVM.framework
 
-JAVA_DIR = /usr/lib/jvm/java-6-sun-1.6.0.14
-
 ##################
 # Compilers etc. #
 ##################