From ad05ac36a0e5641f69c7f79456e6ce1083b2d7ef Mon Sep 17 00:00:00 2001
From: rrt <unknown>
Date: Fri, 13 Jul 2001 13:41:42 +0000
Subject: [PATCH] [project @ 2001-07-13 13:41:42 by rrt] Improve comment

---
 ghc/rts/Stable.c |    3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/ghc/rts/Stable.c b/ghc/rts/Stable.c
index 5b2635b..cc0e0b3 100644
--- a/ghc/rts/Stable.c
+++ b/ghc/rts/Stable.c
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: Stable.c,v 1.13 2000/09/04 15:17:03 simonmar Exp $
+ * $Id: Stable.c,v 1.14 2001/07/13 13:41:42 rrt Exp $
  *
  * (c) The GHC Team, 1998-1999
  *
@@ -66,7 +66,6 @@
   deRefStablePtr# :: StablePtr# a -> State# RealWorld -> 
         (# State# RealWorld, a #)
   \end{verbatim}
-  There is also a C procedure @FreeStablePtr@ which frees a stable pointer.
 
   There may be additional functions on the C side to allow evaluation,
   application, etc of a stable pointer.
-- 
1.7.10.4