diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2017-02-25 19:44:25 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2017-03-08 15:06:17 -0500 |
| commit | 031a5780575f3b87124df303b42e202aa5e1c418 (patch) | |
| tree | 3796e148d9964a18fc7984a92e0b626ab313a6c8 /easycrypt | |
| parent | 98f2e463287e3562dc7b7126e062919a8604ca4a (diff) | |
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.
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) |