diff options
Diffstat (limited to 'driver/Interp.ml')
| -rw-r--r-- | driver/Interp.ml | 3 |
1 files changed, 2 insertions, 1 deletions
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 |