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.

---
 driver/Interp.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'driver/Interp.ml')

diff --git a/driver/Interp.ml b/driver/Interp.ml
index e277ebe0..1291d70c 100644
--- a/driver/Interp.ml
+++ b/driver/Interp.ml
@@ -612,7 +612,8 @@ let change_main_function p old_main old_main_ty =
       fn_params = []; fn_vars = []; fn_body = body } in
   let new_main_id = intern_string "___main" in
   { prog_main = new_main_id;
-    prog_defs = (new_main_id, Gfun(Internal new_main_fn)) :: p.prog_defs }
+    prog_defs = (new_main_id, Gfun(Internal new_main_fn)) :: p.prog_defs;
+    prog_public = p.prog_public }
 
 let rec find_main_function name = function
   | [] -> None
-- 
cgit