diff options
Diffstat (limited to 'src/pretty_print_lem.ml')
| -rw-r--r-- | src/pretty_print_lem.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml index b18541a3..e40de7aa 100644 --- a/src/pretty_print_lem.ml +++ b/src/pretty_print_lem.ml @@ -50,6 +50,7 @@ open Type_check open Ast +open Ast_defs open Ast_util open Reporting open Rewriter @@ -1534,7 +1535,6 @@ let doc_regtype_fields (tname, (n1, n2, fields)) = separate_map hardline doc_field fields let rec doc_def_lem type_env def = - (* let _ = Pretty_print_sail.pp_defs stderr (Defs [def]) in *) match def with | DEF_spec v_spec -> doc_spec_lem type_env v_spec | DEF_fixity _ -> empty @@ -1560,7 +1560,7 @@ let find_exc_typ defs = | _ -> false in if List.exists is_exc_typ_def defs then "exception" else "unit" -let pp_defs_lem (types_file,types_modules) (defs_file,defs_modules) type_env (Defs defs) top_line = +let pp_ast_lem (types_file,types_modules) (defs_file,defs_modules) type_env { defs; _ } top_line = (* let regtypes = find_regtypes d in *) let state_ids = State.generate_regstate_defs !opt_mwords defs |