From 9f99b67e3009f0a40a0a14cde3201f2d7839efbd Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 5 Jan 2018 17:56:53 +0000
Subject: Moved parser, lexer and pretty printer to correct locations.

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

(limited to 'src/spec_analysis.ml')

diff --git a/src/spec_analysis.ml b/src/spec_analysis.ml
index 3d3b13e3..96f6e546 100644
--- a/src/spec_analysis.ml
+++ b/src/spec_analysis.ml
@@ -625,7 +625,7 @@ let merge_mutrecs defs =
       | DEF_fundef fundef -> fundef :: fundefs
       | DEF_internal_mutrec fundefs' -> fundefs' @ fundefs
       | _ ->
-        (* let _ = Pretty_print_sail2.pp_defs stderr (Defs [def]) in *)
+        (* let _ = Pretty_print_sail.pp_defs stderr (Defs [def]) in *)
         raise (Reporting_basic.err_unreachable (def_loc def)
           "Trying to merge non-function definition with mutually recursive functions") in
     (* let _ = Printf.eprintf " - Merging %s (using %s)\n" (set_to_string binds') (set_to_string uses') in *)
-- 
cgit v1.2.3