diff options
| author | Alasdair | 2019-05-13 23:29:15 +0100 |
|---|---|---|
| committer | Alasdair | 2019-05-13 23:29:15 +0100 |
| commit | 3677cfc13e19efe650488a3a25917324bd6ccef7 (patch) | |
| tree | 6f40da5b3c7280652ab72bdd861a5cd7dd4b5b21 /src/pretty_print_coq.ml | |
| parent | df7101474911964e7d8dbf5b6fd3de3ed66b7fc8 (diff) | |
Parse dereferences in orderinary expressions
Diffstat (limited to 'src/pretty_print_coq.ml')
| -rw-r--r-- | src/pretty_print_coq.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/pretty_print_coq.ml b/src/pretty_print_coq.ml index f26c74d7..afa63cb9 100644 --- a/src/pretty_print_coq.ml +++ b/src/pretty_print_coq.ml @@ -920,8 +920,7 @@ let doc_lit (L_aux(lit,l)) = let denom = Big_int.pow_int_positive 10 (String.length f) in (Big_int.add (Big_int.mul (Big_int.of_string i) denom) (Big_int.of_string f), denom) | _ -> - raise (Reporting.Fatal_error - (Reporting.Err_syntax_locn (l, "could not parse real literal"))) in + raise (Reporting.err_syntax_loc l "could not parse real literal") in parens (separate space (List.map string [ "realFromFrac"; Big_int.to_string num; Big_int.to_string denom])) |