From f0f981b5158cb3c1ac0ad09a4ba75947acd4c4d0 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 25 Jan 2018 15:37:52 +0000
Subject: Fix -ocaml_trace option

---
 src/ocaml_backend.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/ocaml_backend.ml b/src/ocaml_backend.ml
index a2c40b03..96dfd9d3 100644
--- a/src/ocaml_backend.ml
+++ b/src/ocaml_backend.ml
@@ -637,6 +637,7 @@ let ocaml_main spec sail_dir =
   end;
   (("open " ^ String.capitalize spec ^ ";;\n\n") :: !lines
    @ [ "  zinitializze_registers ();";
+       if !opt_trace_ocaml then "  Sail_lib.opt_trace := true;" else "  ();";
        "  Printexc.record_backtrace true;";
        "  zmain ()\n";])
   |> String.concat "\n"
-- 
cgit v1.2.3