From: Stephane Glondu Date: Thu, 13 Feb 2025 14:11:03 +0100 Subject: Fix compilation with atdgen 2.16 --- src/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune b/src/dune index cb7227f..07d4e0d 100644 --- a/src/dune +++ b/src/dune @@ -39,7 +39,7 @@ (executable (name elpi_trace_elaborator) (public_name elpi-trace-elaborator) - (libraries yojson atdgen re) + (libraries yojson atdgen-runtime re) (modules elpi_trace_elaborator trace_atd) (package elpi) )