diff options
Diffstat (limited to 'easycrypt')
-rw-r--r-- | easycrypt/easycrypt.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/easycrypt/easycrypt.el b/easycrypt/easycrypt.el index 017b2563..f7f0059f 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) |