Fix mistake about iris in ci-basic-overlays

The CI actually uses the iris version in iris-examples, not in LambdaRust.
Villetaneuse · Nov 17, 2023 · 3830aba · 3830aba
1 parent 4a20f70
commit 3830aba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
@@ -84,7 +84,7 @@ project corn "https://github.com/coq-community/corn" "master"
 ########################################################################
 
 # NB: stdpp and Iris refs are gotten from the opam files in the Iris
-# and lambdaRust repos respectively.
+# and iris_examples repos respectively.
 project stdpp "https://gitlab.mpi-sws.org/iris/stdpp" ""
 
 project iris "https://gitlab.mpi-sws.org/iris/iris" ""