aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2008-01-17 13:56:08 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2008-01-17 13:56:08 +0000
commit25481782112b387099dc586186d2ecd5a7643377 (patch)
tree0f4775f990c5d2d571393993438072eb265c26f0 /generic
parent85836a0fe63349b3a9cf97f8db715f09e7a4e406 (diff)
Fix typo.
Diffstat (limited to 'generic')
-rw-r--r--generic/proof-maths-menu.el2
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-maths-menu.el b/generic/proof-maths-menu.el
index 951fa6c7..8364d711 100644
--- a/generic/proof-maths-menu.el
+++ b/generic/proof-maths-menu.el
@@ -23,7 +23,7 @@
(require 'cl))
(eval-when (compile)
- (if (featurep 'xemacs)
+ (if (not (featurep 'xemacs))
(require 'maths-menu))) ; it's loaded dynamically at runtime