From 5c0e7cd4f840c0366edc403667293edda005ff58 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 2 Mar 2011 22:17:11 +0000 Subject: [PATCH] Broken copyright header. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2492 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/DTMCUniformisedSimple.java | 44 +++++++++---------- 1 file changed, 22 insertions(+), 22 deletions(-) diff --git a/prism/src/explicit/DTMCUniformisedSimple.java b/prism/src/explicit/DTMCUniformisedSimple.java index 4f61a83c..1fdd2f9e 100644 --- a/prism/src/explicit/DTMCUniformisedSimple.java +++ b/prism/src/explicit/DTMCUniformisedSimple.java @@ -1,27 +1,27 @@ //============================================================================== -// -//Copyright (c) 2002- -//Authors: -//* Dave Parker (University of Oxford) -// +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// //------------------------------------------------------------------------------ -// -//This file is part of PRISM. -// -//PRISM is free software; you can redistribute it and/or modify -//it under the terms of the GNU General Public License as published by -//the Free Software Foundation; either version 2 of the License, or -//(at your option) any later version. -// -//PRISM is distributed in the hope that it will be useful, -//but WITHOUT ANY WARRANTY; without even the implied warranty of -//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -//GNU General Public License for more details. -// -//You should have received a copy of the GNU General Public License -//along with PRISM; if not, write to the Free Software Foundation, -//Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA -// +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// //============================================================================== package explicit;