diff --git a/template-coq/update_plugin.sh b/template-coq/update_plugin.sh
index 1842cfdeb..097a2e93b 100755
--- a/template-coq/update_plugin.sh
+++ b/template-coq/update_plugin.sh
@@ -19,8 +19,8 @@ then
       mv -f tmp $f
     done
     # Fix an extraction bug: wrong type annotation on eq_equivalence
-    patch -N -p0 < extraction.patch
-    patch -N -p0 < specFloat.patch
+    patch -N -p0 < extraction.patch || exit $?
+    patch -N -p0 < specFloat.patch || exit $?
     exit 0
 else
     echo "Extracted code is up-to-date"