This project is read-only.
1

Closed

internal error: 2 typechecking errors detected

description

SpecSharp version 2011-10-03
Visual Studio 2010 Professional

On attach SpecSharp says "internal error: 2 typechecking errors detected" on "using System;"

file attachments

Closed Dec 3, 2011 at 5:09 PM by wuestholz

comments

wuestholz wrote Nov 24, 2011 at 4:14 PM

This has been fixed in change set b797fa8ecf66.