Bump Iris (Transfinite algebra).

coq-iris-examples.opam

@@ -8,7 +8,7 @@ dev-repo: "git+https://gitlab.mpi-sws.org/iris/examples.git"
 synopsis: "A collection of case studies for Iris -- not meant to be used as a dependency of anything"
 
 depends: [
-  "coq-iris-heap-lang" { (= "dev.2025-03-25.0.79d33e24") | (= "dev") }
+  "coq-iris-heap-lang" { (= "dev.2025-03-28.0.fa344cbe") | (= "dev") }
   "coq-autosubst" { = "dev" }
 ]
 

theories/cl_logic/clprop.v

-From iris.algebra Require Export ofe.
+From iris.algebra Require Export ofe stepindex_finite.
 From iris.bi Require Import notation.
 From iris.prelude Require Import options.