From cffe80cfc592c19bc3f36542bf27c01f3d52566e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
<grubba@grubba.org>
Date: Tue, 12 Feb 2002 16:13:27 +0100
Subject: [PATCH] Fixed bug in push_int64(). Fixes [bug 2728].
Rev: src/bignum.c:1.23
---
src/bignum.c | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/bignum.c b/src/bignum.c
index 19581433c0..325a4dd175 100644
--- a/src/bignum.c
+++ b/src/bignum.c
@@ -150,6 +150,9 @@ PMOD_EXPORT void push_int64(INT64 i)
i = -i;
neg = 1;
}
+
+ resolve_auto_bignum_program();
+
#if PIKE_BYTEORDER == 1234
{
char digits[8];
--
GitLab