From 5a2dcaa8c224eae138c3ae01380a6b203c77b8ba Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20P=C3=A9pin?= Date: Sun, 24 May 2020 17:40:18 +0200 Subject: [PATCH] More C compiler warnings --- dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune b/dune index 11d8778..dd9235f 100644 --- a/dune +++ b/dune @@ -1,2 +1,2 @@ (env - (_ (c_flags :standard -Wall -Werror -Wpedantic))) + (_ (c_flags :standard -Werror -Wall -Wextra -Wpedantic)))