1 files changed, 1 insertions, 2 deletions
diff --git a/coq/coq.el b/coq/coq.el
index ffaed23f..13eda8d2 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -11,8 +11,7 @@
 ;;
 ;;; History:
 
-(eval-when-compile
-  (require 'cl))
+(require 'cl)
 
 (eval-when (compile)
   (require 'proof-utils)