diff --git a/.ci_extras/pin-crate-vers-kani.sh b/.ci_extras/pin-crate-vers-kani.sh
index 7e7e366a..20038ceb 100755
--- a/.ci_extras/pin-crate-vers-kani.sh
+++ b/.ci_extras/pin-crate-vers-kani.sh
@@ -4,5 +4,4 @@ set -eux
 
 # Pin some dependencies to specific versions for the nightly toolchain
 # used by Kani verifier.
-cargo update -p syn@2.0 --precise 2.0.58
-cargo update -p proc-macro2 --precise 1.0.79
+# cargo update -p crate-name --precise x.y.z