diff --git a/modules/lang/coq/packages.el b/modules/lang/coq/packages.el
index 4d79a6512..71e4cf67b 100644
--- a/modules/lang/coq/packages.el
+++ b/modules/lang/coq/packages.el
@@ -1,5 +1,5 @@
 ;; -*- no-byte-compile: t; -*-
 ;;; lang/coq/packages.el
 
-(package! proof-general :pin "2145c23f44a0951a14240d3b85a1a3d08aade9bb")
+(package! proof-general :pin "df19c7ba0eadf9f47e9dd757a7d0350fc967da99")
 (package! company-coq :pin "382db93374380e5db56f02934ee32bbe39159019")