diff --git a/easycrypt/easycrypt.el b/easycrypt/easycrypt.el
index 017b2563d..f7f0059f2 100644
--- a/easycrypt/easycrypt.el
+++ b/easycrypt/easycrypt.el
@@ -6,7 +6,6 @@
 ;; --------------------------------------------------------------------
 
 (require 'proof)
-(require 'pg-custom)
 (require 'easycrypt-syntax)
 (require 'easycrypt-hooks)
 (require 'easycrypt-abbrev)