From 031a5780575f3b87124df303b42e202aa5e1c418 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Sat, 25 Feb 2017 19:44:25 -0500
Subject: 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.
---
 easycrypt/easycrypt.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'easycrypt')

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)
-- 
cgit v1.2.3