From 192a79eab113c901e9b98c5c84c89a1fd2e80a15 Mon Sep 17 00:00:00 2001
From: Egon Schmid <eschmid@php.net>
Date: Thu, 17 May 2001 05:56:33 +0000
Subject: [PATCH] To make the story short. I deleded that crap.

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@47657 c90b9560-bf6c-de11-be94-00142212c4b1
---
 functions/gmp.xml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/functions/gmp.xml b/functions/gmp.xml
index 8b0e659e21..bdd8a9be17 100644
--- a/functions/gmp.xml
+++ b/functions/gmp.xml
@@ -93,9 +93,11 @@ print gmp_strval (fact (1000)) . "\n";
       <literal>gmp_init(12378473895798475827348979342)</literal>,
       since first the integer-literal will be interpreted,
       resulting in an 
+<!--
       <link linkend="language.types.integer.overflow">overflow</link>
       and thus in zero, and then gmp_init is called with that 
       zero as argument.
+-->
       <!-- TODO: wrong, it will be converted to float (type-jug), which
       will lead to loss of precision. -->
      </para>