Pick 8.20~2025.01: fix typo in script introduced by version update

coq · Jan 27, 2025 · ff3d140 · ff3d140
1 parent 6e2b775
commit ff3d140
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package_picks/package-pick-8.20~2025.01.sh b/package_picks/package-pick-8.20~2025.01.sh
@@ -158,7 +158,7 @@ then
   PACKAGES="${PACKAGES} coq-mathcomp-word.3.2" # Works with version relaxation
 
   case "$COQ_PLATFORM_COMPCERT" in
-    [yY]) PACKAGES="${PACKAGES} coq-compcert.3.15"
+    [yY]) PACKAGES="${PACKAGES} coq-compcert.3.15" ;;
     [nN]) true ;;
     *) echo "Illegal value for COQ_PLATFORM_COMPCERT - aborting"; false ;;
   esac