From df40307f70d7a03b03af7ae4360a15349abc1bd0 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 28 Nov 2018 02:47:20 +0100
Subject: [coq overlay] Adapt to coq/coq#8705

Please apply when indicated.
---
 tuto3/src/dune | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tuto3')

diff --git a/tuto3/src/dune b/tuto3/src/dune
index 6b09d5d98b..ba6d8b288f 100644
--- a/tuto3/src/dune
+++ b/tuto3/src/dune
@@ -1,6 +1,7 @@
 (library
  (name tuto3_plugin)
  (public_name coq.plugins.tutorial.p3)
+ (flags :standard -warn-error -3)
  (libraries coq.plugins.ltac))
 
 (rule
-- 
cgit v1.2.3