Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | typeCheck => typecheck | Eugene Burmako | 2013-12-10 | 1 | -1/+1 |
| | | | | | This method has always been slightly bothering me, so I was really glad when Denys asked me to rename it. Let’s see how it pans out. | ||||
* | test case closes SI-5418 | Eugene Burmako | 2012-09-18 | 1 | -0/+11 |
Now, when the existential reification bug is fixed, I've been able to take a look at SI-5418, and, apparently, the problem with importers has fixed itself during these 9 months of the bug being active. |