From 461fcd3732ee36ec8ae2530bd19eec6d8c7cea1a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 1 Feb 2005 16:52:22 +0000
Subject: [PATCH] * bench/emptchk/pml2tgba.pl (usage): Correct description. 
 From Denis.

---
 ChangeLog                 | 2 ++
 bench/emptchk/pml2tgba.pl | 8 ++++----
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 5ac83d2c6..404045b24 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2005-02-01  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* bench/emptchk/pml2tgba.pl (usage): Correct description.  From Denis.
+
 	* bench/emptchk/README: Timing info from Denis.
 
 	* src/tgbatest/randtgba.cc (main): Skip empty lines.
diff --git a/bench/emptchk/pml2tgba.pl b/bench/emptchk/pml2tgba.pl
index c2cb71b62..9bfaa4fc4 100755
--- a/bench/emptchk/pml2tgba.pl
+++ b/bench/emptchk/pml2tgba.pl
@@ -1,6 +1,6 @@
 #!/usr/bin/perl -w
 #
-# Copyright (C) 2004 Stefan Schwoon
+# Copyright (C) 2004  Stefan Schwoon
 #
 # This program is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -17,7 +17,7 @@
 # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307, USA
 #
 #
-# This script was originally distributed by Schwoon alongside with
+# This script was originally distributed by Schwoon alongside
 #
 # @InProceedings{   schwoon.05.tacas,
 #   author        = {Stefan Schwoon and Javier Esparza},
@@ -45,8 +45,8 @@ my %props;
 sub usage()
 {
   print <<EOF;
-Usage: pan2tgba.pl [-w] promela-model properties...
-Extracts the product state space of the model, observing properties.
+Usage: pml2tgba.pl [-w] promela-model properties...
+Extract the state-space of the promela-model, observing properties.
 If -w is given, output acceptance conditions to ensure weak fairness.
 EOF
   exit 1;