From 5bd3c2103e11e84297382ebe12c0860d8a30cede Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 25 Jul 2018 19:55:14 +0200
Subject: [PATCH] Property.java: typo

---
 prism/src/parser/ast/Property.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java
index 6fe71c4c..454c1f51 100644
--- a/prism/src/parser/ast/Property.java
+++ b/prism/src/parser/ast/Property.java
@@ -270,7 +270,7 @@ public class Property extends ASTElement
 	 */
 	private boolean checkAgainstExpectedResultString(String strExpected, Values constValues, Object result) throws PrismException
 	{
-		// Check for special "don't case" case
+		// Check for special "don't care" case
 		if (strExpected.equals("?")) {
 			return false;
 		}