From 195f96ab4f10d69343ee6b7a1c1b2155af89608b Mon Sep 17 00:00:00 2001
From: Alastair Reid
Date: Wed, 27 Jun 2018 14:39:09 +0100
Subject: RTS: Delete __SetConfig stub function

This is now directly supported from SAIL so we can call the SAIL __SetConfig function
instead.
---
 src/c_backend.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/c_backend.ml b/src/c_backend.ml
index 3b57c9ed..ef2d9a58 100644
--- a/src/c_backend.ml
+++ b/src/c_backend.ml
@@ -2748,13 +2748,13 @@ let compile_ast ctx (Defs defs) =
     let postamble = separate hardline (List.map string
        ( [ "int main(int argc, char *argv[])";
            "{";
-           "  setup_rts();";
-           "  if (process_arguments(argc, argv)) exit(EXIT_FAILURE);" ]
+           "  setup_rts();" ]
        @ fst exn_boilerplate
        @ startup cdefs
        @ List.concat (List.map (fun r -> fst (register_init_clear r)) regs)
        @ (if regs = [] then [] else [ "  zinitializze_registers(UNIT);" ])
        @ letbind_initializers
+       @ [  "  if (process_arguments(argc, argv)) exit(EXIT_FAILURE);" ]
        @ [ "  zmain(UNIT);" ]
        @ letbind_finalizers
        @ List.concat (List.map (fun r -> snd (register_init_clear r)) regs)
-- 
cgit v1.2.3