From 31197545faab3bb8190485993a5e2c3ddd88e59a Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 31 Mar 2020 13:33:00 +0100 Subject: [PATCH] Missing author header. --- prism/src/prism/OpRelOpBound.java | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/prism/src/prism/OpRelOpBound.java b/prism/src/prism/OpRelOpBound.java index c2dfef71..bb8f1bf2 100644 --- a/prism/src/prism/OpRelOpBound.java +++ b/prism/src/prism/OpRelOpBound.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2014- +// Authors: +// * Dave Parker (University of Birmingham) +// +//------------------------------------------------------------------------------ +// +// 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 prism; import parser.ast.RelOp;