From e4ccb251c767e7fa88bc6b61075059c8aa57aa53 Mon Sep 17 00:00:00 2001
From: "Stephen R. van den Berg" <srb@cuci.nl>
Date: Tue, 4 Nov 2014 16:07:12 +0100
Subject: [PATCH] push_integer() -> push_int().

---
 src/interpret_functions.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/interpret_functions.h b/src/interpret_functions.h
index bfffd60b8c..850a24e26b 100644
--- a/src/interpret_functions.h
+++ b/src/interpret_functions.h
@@ -437,7 +437,7 @@ OPCODE2(F_PRIVATE_TYPED_GLOBAL, "global <private,typed>", I_UPDATE_SP, {
     {
 #if SIZEOF_FLOAT_TYPE != SIZEOF_INT_TYPE
       if( UNLIKELY(arg2)==PIKE_T_INT )
-	push_integer( *(INT_TYPE*)ptr );
+	push_int( *(INT_TYPE*)ptr );
       else
 	push_float( *(FLOAT_TYPE*)ptr );
 #else
-- 
GitLab