From f0c7587ea53b855ca58ce73d3e25f7e81215a722 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 27 Sep 2018 16:39:39 +0200
Subject: [dune] [merlin] Fix some usability issues.

As suggested on Gitter by @maximedenes we improve documentation and
update Kernel's `.merlin` so it actually reports on the stricter set
of warnings.

We also set the language version to the proper one so users will get a
better error message [the fact that we can use `(env_var ...)` with
the wrong Dune version is a Dune bug indeed].
---
 dune-project | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
index 6ce4ec4717..607e5a68a5 100644
--- a/dune-project
+++ b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 1.1)
+(lang dune 1.2)
 
-(name coq-devel)
+(name coq)
-- 
cgit v1.2.3