diff options
| author | Prashanth Mundkur | 2018-05-03 17:21:39 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-05-03 17:21:39 -0700 |
| commit | 89c7cc3c14ed311553f51f50b1be26fc074b158d (patch) | |
| tree | 97a93502f0550d1e818d69ebb90ceeb9c9b2dc29 /src/constraint.ml | |
| parent | 64a0b2463ac0289f91d8e93384eac93700c074a6 (diff) | |
Fix a bug in privilege transition, add better transition logging.
Diffstat (limited to 'src/constraint.ml')
0 files changed, 0 insertions, 0 deletions