[why] Attempt to fix failure of XEmacs while running PVS.

[Jerry James]

commit e52152d78715d9404638bf127eb7014e07f78ad0
Author: Jerry James <loganjerry at gmail.com>
Date:   Fri Oct 28 14:03:24 2011 -0600

    Attempt to fix failure of XEmacs while running PVS.

 why.spec |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/why.spec b/why.spec
index a312d5f..d300b90 100644
--- a/why.spec
+++ b/why.spec
@@ -57,7 +57,7 @@ Patch1:         why-2.30-Makefile.in.patch
 BuildRequires:  auto-destdir
 BuildRequires:  cvc3
 BuildRequires:  desktop-file-utils
-BuildRequires:  emacs-nox xemacs-nox
+BuildRequires:  emacs-nox xemacs xemacs-packages-extra
 BuildRequires:  flocq
 BuildRequires:  frama-c-devel
 BuildRequires:  gtk2-devel