From 1e29e518e62ad88e9c2e2b180beb07434a07cdd7 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 3 Nov 2014 10:11:23 +0100
Subject: Record public global definitions via field "prog_public" in
 AST.program. For the moment, this field is ignored.

---
 backend/Unusedglob.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'backend/Unusedglob.ml')

diff --git a/backend/Unusedglob.ml b/backend/Unusedglob.ml
index 1a88ee96..3834f8e6 100644
--- a/backend/Unusedglob.ml
+++ b/backend/Unusedglob.ml
@@ -81,6 +81,7 @@ let rec filter used = function
 
 let filter_prog used p =
   { prog_defs = filter used p.prog_defs;
+    prog_public = p.prog_public;
     prog_main = p.prog_main }
 
 (* Entry point *)
-- 
cgit