1 files changed, 0 insertions, 12 deletions
diff --git a/acl2/x-symbol-acl2.el b/acl2/x-symbol-acl2.el
deleted file mode 100644
index d246b1ae..00000000
--- a/acl2/x-symbol-acl2.el
+++ /dev/null
@@ -1,12 +0,0 @@
-;; x-symbol-acl2.el
-;;
-;; David Aspinall, adapted from file supplied by David von Obheimb
-;;
-;; $Id$
-;;
-
-;; FIXME: to revitalise this, see coq/x-symbol-coq.el
-
-(error "X-Symbol support for ACL2 has been removed in this release, sorry.")
-
-(provide 'x-symbol-acl2)