我正在尝试用 krakatoa & jessie (why-2.33) 为 Windows (Cygwin) 编译 why3ide (why3-0.81)。一切都很好，除了我不能让右下角的文本框显示符号（它总是空的），而且每次我尝试选择要证明的项目时都会收到错误（在图片中突出显示）。
图片：https ://dl.dropboxusercontent.com/u/39984835/why3ide/error_capture.jpg
这是这个错误：
Apply transformation introduce_premises
Why3ide callback raised an exception:
anomaly: End_of_file
Backtrace:
Raised at file "format.ml", line 197, characters 41-52
Called from file "format.ml", line 425, characters 8-33
Called from file "format.ml", line 440, characters 6-24
如何调试此错误？（我是 OCaml 的新手）
format.ml 文件在这里：
cygwin/lib/ocaml/format.ml
引用引入前提转换的文件在这里：
why3-0.81/drivers/gappa.drv
why3-0.81/src/ide/gmain.ml
why3-0.81/src/transform/introduction.ml
why3-0.81/drivers/mathematica.drv
PS我试图为这篇文章添加why3和why3ide标签，但我的声誉还不够。