diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-05-03 21:18:29 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-05-03 21:18:29 -0700 |
| commit | e1376a171abad9fca388a302781e59b404e8c515 (patch) | |
| tree | 40bdc7718e1efddbe085500727bba70843753cde /Source/AbsInt | |
| parent | 8000bf8044202d668fe473c22fc4c15a3e9f3980 (diff) | |
LetVC can get null label2absy from lazy inlining. So, I weakened the precondition otherwise the checked build was failing
Diffstat (limited to 'Source/AbsInt')
0 files changed, 0 insertions, 0 deletions