| From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Mon Jul 4 08:56:32 EDT 2011 |
|
Something seems to be off. When I have a contract violation, when the error box pops up, if you click on a link, the text other than the error line disappears. This happened during a live demo here in Dortmund. If someone can't reproduce it I'll try to reconstruct it. This is in 5.1.1. Shriram
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}