easycrypt: Don't require pg-custom: it breaks compilation

The problem is that loading pg-custom runs a bunch of defpgcustom, with no current proof assistant. Then when coq or easycrypt calls proof-ready-for-assistant, pg-custom isn't loaded again.
ProofGeneral · Mar 8, 2017 · 031a578 · 031a578
1 parent 98f2e46
commit 031a578
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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)