From 480a7f85fcde2ac59a76e9da976b3588463f8141 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 10 Dec 2019 15:22:08 -0600 Subject: [PATCH] older dune dialect --- dune-project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune-project b/dune-project index 0636ab6a..7655de07 100644 --- a/dune-project +++ b/dune-project @@ -1 +1 @@ -(lang dune 1.11) +(lang dune 1.1)