Update a comment

AeneasVerif · Nov 27, 2023 · 8a6c263 · 8a6c263
1 parent a17eef1
commit 8a6c263
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/compiler/Config.ml b/compiler/Config.ml
@@ -52,7 +52,8 @@ let greedy_expand_symbolics_with_borrows = true
 
 (** Experimental.
 
-    TODO: remove (always true now)
+    TODO: remove (always true now), but check that when we panic/call a function
+    there is no bottom below a borrow.
 
     We sometimes want to temporarily break the invariant that there is no
     bottom value below a borrow. If this value is true, we don't check