From b34ebf3fe3ecaf292be873d231dd54c80f16ad07 Mon Sep 17 00:00:00 2001 From: Malte Voos Date: Mon, 24 Jun 2024 00:24:24 +0200 Subject: rename: Reporter -> Error --- src/parser/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/parser/dune') diff --git a/src/parser/dune b/src/parser/dune index fd4aae7..7a1b290 100644 --- a/src/parser/dune +++ b/src/parser/dune @@ -10,4 +10,4 @@ (libraries asai toytt.ast - toytt.reporter)) + toytt.error)) -- cgit 1.4.1