diff --git a/src/example-archive/check-all.sh b/src/example-archive/check-all.sh
index 1fdaba6d..8c87ccdd 100755
--- a/src/example-archive/check-all.sh
+++ b/src/example-archive/check-all.sh
@@ -19,7 +19,7 @@ subdirs=(
   "Rust" 
   "SAW" 
   "simple-examples"
-  "coq-lemmas"
+  # "coq-lemmas"
 )
 FAILURE=0