From 9e510f5245ac8ee1a7524fbbf49447daaef846d3 Mon Sep 17 00:00:00 2001
From: peb <unknown>
Date: Sat, 16 Apr 2005 04:40:48 +0000
Subject: "Committed_by_peb"

---
 src/tools/AlphaConvGF.hs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/tools/AlphaConvGF.hs')

diff --git a/src/tools/AlphaConvGF.hs b/src/tools/AlphaConvGF.hs
index ef00aba11..0e87bdb7a 100644
--- a/src/tools/AlphaConvGF.hs
+++ b/src/tools/AlphaConvGF.hs
@@ -1,13 +1,12 @@
 ----------------------------------------------------------------------
 -- |
--- Module      : AlphaConvGF
 -- Maintainer  : AR
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/02/18 19:21:23 $ 
+-- > CVS $Date: 2005/04/16 05:40:50 $ 
 -- > CVS $Author: peb $
--- > CVS $Revision: 1.3 $
+-- > CVS $Revision: 1.4 $
 --
 -- (Description of the module)
 -----------------------------------------------------------------------------
-- 
cgit v1.2.3