From c5b40f44d8fa17e8d5bdfbd1088cf7fa35951d54 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 3 Jun 2015 16:05:27 +0000
Subject: [PATCH] Code tidy.

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

diff --git a/prism/src/explicit/LTLModelChecker.java b/prism/src/explicit/LTLModelChecker.java
index bd1d0ad0..614f1d61 100644
--- a/prism/src/explicit/LTLModelChecker.java
+++ b/prism/src/explicit/LTLModelChecker.java
@@ -2,7 +2,6 @@
 //	
 //	Copyright (c) 2002-
 //	Authors:
-//	* Alessandro Bruni <albr@dtu.dk> (Technical University of Denmark)
 //	* Dave Parker <david.parker@comlab.ox.ac.uk> (University of Oxford)
 //	* Joachim Klein <klein@tcs.inf.tu-dresden.de> (TU Dresden)
 //