The Coq mailing list

["Marcus Ramos" <mvmramos AT gmail.com>]

Hi,

I am trying to run a simple code based on Fixpoints and Definitions, but
CoqIde crashes and displays the following message:

"Unable to communicate with coqtop, restarting coqtop.
Error was: Invalid argument"

The problem happens when I execute an Eval compute. I am using 8.4p11 on
Windows. How can I trace the problem in my code, if this is the case?

Thanks in advance,
Marcus.