diff --git a/iris/cofe_solver.v b/iris/cofe_solver.v
index 81b86c3cfda04c6dc09f7bcda07c5006891bae94..0610e1f3d02fd484c5f9b67f63bd39b9085527ad 100644
--- a/iris/cofe_solver.v
+++ b/iris/cofe_solver.v
@@ -228,3 +228,5 @@ Proof.
   apply dist_S, map_contractive; split; intros Y i; apply embed_tower; lia.
 Qed.
 End solver.
+
+Global Opaque cofe_solver.T cofe_solver.fold cofe_solver.unfold.