From f9c333042ab28cae887ab3721c4fe4d430b56213 Mon Sep 17 00:00:00 2001
From: Amin Timany <amintimany@gmail.com>
Date: Fri, 7 May 2021 08:46:28 +0000
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)

---
 iris_staging/algebra/monotone.v | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/iris_staging/algebra/monotone.v b/iris_staging/algebra/monotone.v
index f6aa7a791..a3b21e0ef 100644
--- a/iris_staging/algebra/monotone.v
+++ b/iris_staging/algebra/monotone.v
@@ -1,3 +1,7 @@
+(* This file is still experimental. See its tracking issue
+https://gitlab.mpi-sws.org/iris/iris/-/issues/414 for details on remaining
+issues before stabilization. *)
+
 From iris.algebra Require Export cmra.
 From iris.algebra Require Import updates local_updates.
 From iris.prelude Require Import options.
-- 
GitLab