1 files changed, 0 insertions, 10 deletions
diff --git a/byterun/alloc.c b/byterun/alloc.c
index 37d9ce710..d5ed621b5 100644
--- a/byterun/alloc.c
+++ b/byterun/alloc.c
@@ -60,16 +60,6 @@ value alloc_final (len, fun, mem, max)
   return result;
 }
 
-value copy_double(d)
-     double d;
-{
-  value res;
-
-  Alloc_small(res, Double_wosize, Double_tag);
-  Store_double_val(res, d);
-  return res;
-}
-
 value copy_string(s)
      char * s;
 {