From abab878b8d8b5ca85a4da688abed68518f0b17bd Mon Sep 17 00:00:00 2001
From: SimonBoulier
Date: Wed, 14 Nov 2018 16:07:38 +0100
Subject: Set/Unset commands for typing flags

---
 kernel/environ.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kernel/environ.ml')

diff --git a/kernel/environ.ml b/kernel/environ.ml
index 9a75f0b682..1b17e954b7 100644
--- a/kernel/environ.ml
+++ b/kernel/environ.ml
@@ -418,6 +418,7 @@ let set_engagement c env = (* Unsafe *)
 (* It's convenient to use [{flags with foo = bar}] so we're smart wrt to it. *)
 let same_flags {
      check_guarded;
+     check_positive;
      check_universes;
      conv_oracle;
      indices_matter;
@@ -426,6 +427,7 @@ let same_flags {
      enable_native_compiler;
   } alt =
   check_guarded == alt.check_guarded &&
+  check_positive == alt.check_positive &&
   check_universes == alt.check_universes &&
   conv_oracle == alt.conv_oracle &&
   indices_matter == alt.indices_matter &&
-- 
cgit v1.2.3