From 45fc4cc348d2b8c4cc151a5e3ce3483f21a6ef78 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 11 Mar 2013 16:28:40 +0000
Subject: Suppress int64_unsigned_to_float, now unused.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2146 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Ceval.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'cparser/Ceval.ml')

diff --git a/cparser/Ceval.ml b/cparser/Ceval.ml
index 5770e27..d38054a 100644
--- a/cparser/Ceval.ml
+++ b/cparser/Ceval.ml
@@ -21,8 +21,6 @@ open Machine
 
 (* Extra arith on int64 *)
 
-external int64_unsigned_to_float: int64 -> float 
-  = "cparser_int64_unsigned_to_float"
 external int64_unsigned_div: int64 -> int64 -> int64
   = "cparser_int64_unsigned_div"
 external int64_unsigned_mod: int64 -> int64 -> int64
-- 
cgit v1.2.3