The Coq mailing list

[Kevin King <kcking AT mit.edu>]

Hello all,

When I run version 8.5beta1 of coqtop on Mac OS X with -ideslave, I get the following debug info:

master:0] defining 1 (cache=Y)

master:0] setting cur id to 1

Fatal error: exception Errors.Anomaly(0, _)

Raised at file "list.ml", line 179, characters 16-25

Would anyone have an idea how to remedy this?

Thank you,

Kevin