From 90332d8d772ba96fe828743b27a71ba86488fac3 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 25 Mar 2009 17:43:55 +0100 Subject: [PATCH] * src/evtgbaparse/evtgbaparse.yy: Stay on 80 columns. --- ChangeLog | 4 ++++ src/evtgbaparse/evtgbaparse.yy | 6 +++--- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 7850771e7..40f9c9f54 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2009-03-25 Alexandre Duret-Lutz + + * src/evtgbaparse/evtgbaparse.yy: Stay on 80 columns. + 2009-03-25 Alexandre Duret-Lutz Update parsers to work with Bison 2.4.1. diff --git a/src/evtgbaparse/evtgbaparse.yy b/src/evtgbaparse/evtgbaparse.yy index 75fad89c6..300712501 100644 --- a/src/evtgbaparse/evtgbaparse.yy +++ b/src/evtgbaparse/evtgbaparse.yy @@ -1,6 +1,6 @@ -/* Copyright (C) 2004, 2005, 2006, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), -** département Systèmes Répartis Coopératifs (SRC), Université Pierre -** et Marie Curie. +/* Copyright (C) 2004, 2005, 2006, 2009 Laboratoire d'Informatique de +** Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), +** Université Pierre et Marie Curie. ** ** This file is part of Spot, a model checking library. **