The Coq mailing list

[Beta Ziliani <beta AT mpi-sws.org>]

*UPDATE*

I have a linux desktop and a Macbook. In my Mac I was able to debug
with no problem using version 8.3pl2. Then, I shifted, both in my mac
and desktop, to the trunk version of Coq. I never debugged Coq in my
desktop before, and when I tried I get the mentioned error. Then, I
tried in my Mac and oh surprise, I get the same result. It works when
I switch back to 8.3pl2.

At first sight, it seems to be a problem in the trunk version,
although it's puzzling that no one else acknowledge it.

Best wishes,
Beta