diff options
Diffstat (limited to 'src/elaborator/dune')
| -rw-r--r-- | src/elaborator/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/elaborator/dune b/src/elaborator/dune index 46227f0..941027a 100644 --- a/src/elaborator/dune +++ b/src/elaborator/dune @@ -8,4 +8,4 @@ toytt.ident toytt.nbe toytt.pretty - toytt.reporter)) + toytt.error)) |