From 5dcbaab5eb7dd9486490c32b3bfe6d8a92596944 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 12 Jan 2011 08:27:59 +0000
Subject: [PATCH] Header typo: author attrib.

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

diff --git a/prism/src/parser/visitor/ConvertForJltl2ba.java b/prism/src/parser/visitor/ConvertForJltl2ba.java
index 8f525fc6..5809149e 100644
--- a/prism/src/parser/visitor/ConvertForJltl2ba.java
+++ b/prism/src/parser/visitor/ConvertForJltl2ba.java
@@ -3,7 +3,7 @@
 //	Copyright (c) 2002-
 //	Authors:
 //	* Dave Parker <david.parker@comlab.ox.ac.uk> (University of Oxford, formerly University of Birmingham)
-//	* Andrew Hinton <ug60axh@cs.bham.ac.uk> (University of Birmingham)
+//	* Carlos S. Bederián (Universidad Nacional de Córdoba)
 //	
 //------------------------------------------------------------------------------
 //