From ab63021afbdce04afe134ad73bd89a883e9130c0 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 23 Nov 2012 12:03:18 +0000
Subject: [PATCH] Javadoc typo

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

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index f5f8c4a9..ea175f84 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -2325,7 +2325,7 @@ public class Prism implements PrismSettingsListener
 	/**
 	 * Perform model checking of a property on the currently loaded model and return result.
 	 * @param propertiesFile Parent property file of property (for labels/constants/...)
-	 * @param expr The property to check
+	 * @param prop The property to check
 	 */
 	public Result modelCheck(PropertiesFile propertiesFile, Property prop) throws PrismException, PrismLangException
 	{