Ubuntu中文论坛

最近刚装了个emacs22的版本，要求和PVS（一款验证定理的软件）一块使用，两个都装完后运行例子，正常的话应该会弹出相应的窗口来告诉结果的正确性，可运行后却打印了以下错误：wrong number of argument:#<set-match-data>,2的错误信息，本人以为是emacs的参数出了问题，但又不知如果解决，望请教各位高手。出来乍到，小弟在此先谢啦！