From dfc45ce62e26a776366b1e7c5e5e068756073008 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sun, 10 Mar 2019 14:13:40 +0100
Subject: varargs

---
 runtime/mppa_k1c/vararg.S | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'runtime')

diff --git a/runtime/mppa_k1c/vararg.S b/runtime/mppa_k1c/vararg.S
index 41c2b39e..af6a0f9c 100644
--- a/runtime/mppa_k1c/vararg.S
+++ b/runtime/mppa_k1c/vararg.S
@@ -40,7 +40,9 @@ __compcert_va_int32:
 	.text
 	.balign 2
 	.globl __compcert_va_int64
+	.globl __compcert_va_float64
 __compcert_va_int64:
+__compcert_va_float64:
 # Prologue
 	addd	$r14 = $r12, 0
 ;;
-- 
cgit