--- agda-mode.el~	2006-05-03 14:32:20.616220800 +0900
+++ agda-mode.el	2006-12-24 00:06:56.867822000 +0900
@@ -146,7 +146,7 @@ If in doubt, set to `identity'"
                                  (if (memq (car c) head-list)
                                      (error "Duplicate key in case: %s"
                                             (car c)))
-                                 (cl-push (car c) head-list)
+                                 (push (car c) head-list)
                                  (list 'equal temp (list 'quote (car c)))))
                           (or (cdr c) '(nil)))))
                  clauses))))