From 3f7c3c57c8bc740a24883af3b1f593f95c31c5c8 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 12 Sep 2016 14:22:10 +0000
Subject: [PATCH] Comment typo

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

diff --git a/prism/src/explicit/ExplicitFiles2Model.java b/prism/src/explicit/ExplicitFiles2Model.java
index 1ee08ba7..7a34fc5a 100644
--- a/prism/src/explicit/ExplicitFiles2Model.java
+++ b/prism/src/explicit/ExplicitFiles2Model.java
@@ -3,7 +3,7 @@
 //	Copyright (c) 2016-
 //	Authors:
 //	* Joachim Klein <klein@tcs.inf.tu-dresden.de> (TU Dresden)
-//	* Dave parker <d.a.parker@cs.bham.ac.uk> (University of Birmingham) 
+//	* Dave Parker <d.a.parker@cs.bham.ac.uk> (University of Birmingham) 
 //	
 //------------------------------------------------------------------------------
 //