From cca2016b7a339da00fcf8ffdf8e5e758234a0234 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 29 Jan 2019 19:24:11 +0000
Subject: Fixes for full v8.5

---
 src/sail.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/sail.ml b/src/sail.ml
index 41aee119..58b224f2 100644
--- a/src/sail.ml
+++ b/src/sail.ml
@@ -400,7 +400,7 @@ let main() =
        then
          let ast_c = rewrite_ast_c ast in
          let ast_c, type_envs = Specialize.specialize ast_c type_envs in
-         let ast_c = Spec_analysis.top_sort_defs ast_c in
+         (* let ast_c = Spec_analysis.top_sort_defs ast_c in *)
          Util.opt_warnings := true;
          C_backend.compile_ast (C_backend.initial_ctx type_envs) (!opt_includes_c) ast_c
        else ());
-- 
cgit v1.2.3