From fcc3a467886e5c95b065b1fc4c27301fd62d7c21 Mon Sep 17 00:00:00 2001 From: Son Ho Date: Tue, 23 Nov 2021 13:12:52 +0100 Subject: Move some definitions to Contexts.ml and reactivate the warnings --- src/dune | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/dune') diff --git a/src/dune b/src/dune index 2d03b3f6..aa3e7c37 100644 --- a/src/dune +++ b/src/dune @@ -7,11 +7,11 @@ :standard -safe-string -g - -w -8-9-11-33-20-21-26-27-39 + -warn-error -8-9-11-33-20-21-26-27-39 )) (release (flags :standard -safe-string -g - -w -8-9-11-33-20-21-26-27-39 + -warn-error -8-9-11-33-20-21-26-27-39 ))) -- cgit v1.2.3