diff options
| author |  qadeer <qadeer@microsoft.com> | 2015-06-10 11:18:49 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2015-06-10 11:18:49 -0700 |
| commit | 56916c9d12f608dc580f4da03ef3dcbe35f42ef8 (patch) | |
| tree | d9fc0190281c2fe140052d1d6bdc5421d52d69f2 /Source/Provers | |
| parent | 9c97c7c52776575485c3b131202addb1d864e3d9 (diff) | |
relaxed the check for created and hidden layers for skip actions
Diffstat (limited to 'Source/Provers')
0 files changed, 0 insertions, 0 deletions