diff --git a/ghc/includes/options.h b/ghc/includes/options.h
index 5683d895d917606af82b93c7ff4cfc68d557ddc1..ee546499b1da574bb17d98d3d18fbdaf78c1a9f6 100644
--- a/ghc/includes/options.h
+++ b/ghc/includes/options.h
@@ -13,8 +13,8 @@
  * Hugs version 1.4, December 1997
  *
  * $RCSfile: options.h,v $
- * $Revision: 1.2 $
- * $Date: 1998/12/02 13:21:51 $
+ * $Revision: 1.3 $
+ * $Date: 1999/01/13 16:26:37 $
  * ------------------------------------------------------------------------*/