diff options
Diffstat (limited to 'emacs/.emacs.d/wpc/wpc-ocaml.el')
| -rw-r--r-- | emacs/.emacs.d/wpc/wpc-ocaml.el | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/emacs/.emacs.d/wpc/wpc-ocaml.el b/emacs/.emacs.d/wpc/wpc-ocaml.el index 26add2d6f957..3a05263087f7 100644 --- a/emacs/.emacs.d/wpc/wpc-ocaml.el +++ b/emacs/.emacs.d/wpc/wpc-ocaml.el @@ -19,9 +19,6 @@ (require 'prelude) (require 'f) -(prelude/assert - (prelude/executable-exists? "opam")) - (defvar opam-user-setup "~/.emacs.d/opam-user-setup.el" "File for the OPAM Emacs integration.") |