From 2487b631539e6bd4dea0022138ed189740f61f14 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicol=C3=A1s=20Ojeda=20B=C3=A4r?= Date: Mon, 18 Mar 2019 20:57:11 +0100 Subject: [PATCH] Enable (explicit_js_mode) in dune itself --- dune-project | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index 728fd8a37eb9..d439aca54577 100644 --- a/dune-project +++ b/dune-project @@ -1,4 +1,5 @@ -(lang dune 1.8) +(lang dune 1.9) (name dune) -(implicit_transitive_deps false) \ No newline at end of file +(implicit_transitive_deps false) +(explicit_js_mode)