diff options
| author | Alasdair Armstrong | 2018-01-05 17:56:53 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-05 17:56:53 +0000 |
| commit | 9f99b67e3009f0a40a0a14cde3201f2d7839efbd (patch) | |
| tree | 8d80dfa2889e5448c8c1330dd71cb8be1530ceeb /src/spec_analysis.ml | |
| parent | 90bfc9c8e401e41a2f4616b84976a57f357664df (diff) | |
Moved parser, lexer and pretty printer to correct locations.
Diffstat (limited to 'src/spec_analysis.ml')
| -rw-r--r-- | src/spec_analysis.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 *) |