summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--bytecomp/bytelibrarian.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/bytecomp/bytelibrarian.ml b/bytecomp/bytelibrarian.ml
index 21427c844..73cf26930 100644
--- a/bytecomp/bytelibrarian.ml
+++ b/bytecomp/bytelibrarian.ml
@@ -38,7 +38,6 @@ let copy_compunit ic oc compunit =
(* Add C objects and options and "custom" info from a library descriptor *)
-let lib_sharedobjs = ref []
let lib_ccobjs = ref []
let lib_ccopts = ref []
let lib_dllibs = ref []