diff options
Diffstat (limited to 'src/pretty')
| -rw-r--r-- | src/pretty/Pretty.ml | 2 | ||||
| -rw-r--r-- | src/pretty/dune | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/pretty/Pretty.ml b/src/pretty/Pretty.ml index 66d6159..ba78881 100644 --- a/src/pretty/Pretty.ml +++ b/src/pretty/Pretty.ml @@ -57,7 +57,7 @@ struct | Some ((Some name) as id) when Bwd.find_index ((=) id) names = Some ix -> Fmt.string fmt name (* the variable does not have a bound name or its bound name has been shadowed *) | Some _ -> Fmt.pf fmt "%@%d" ix - | None -> Reporter.bug "index out of range in pp_var" + | None -> Error.bug "index out of range in pp_var" let rec pp_pair fmt = (delimited @@ fun fmt (a, b) -> Fmt.pf fmt "@[(@[%a@], @[%a@])@]" pp a pp b) fmt diff --git a/src/pretty/dune b/src/pretty/dune index df46822..ee17573 100644 --- a/src/pretty/dune +++ b/src/pretty/dune @@ -6,4 +6,4 @@ fmt toytt.ident toytt.nbe - toytt.reporter)) + toytt.error)) |