SourceForge has been redesigned. Learn more.
Close

#42 Fatal_error

closed-invalid
nobody
None
5
2008-10-18
2008-10-15
Anonymous
No

Fatal error: cannot open pervasives.cmi
Fatal error: exception Misc.Fatal_error

Discussion

  • Kuba Ober

    Kuba Ober - 2008-10-18

    NOTABUG

     
  • Kuba Ober

    Kuba Ober - 2008-10-18
    • status: open --> closed
     
  • Kuba Ober

    Kuba Ober - 2008-10-18
    • status: closed --> closed-invalid
     

Log in to post a comment.