diff options
| author | Kathy Gray | 2015-06-21 12:17:58 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-06-21 12:17:58 +0100 |
| commit | c61c804998cf617cd8cf0ca19c469c3bc8bb5a0f (patch) | |
| tree | 53672185dd07d328edd864000eeec6a38dc097c5 /src/pretty_print.ml | |
| parent | ade18602fcc7b3217b9fd8fc8cdd1ce52cbe6bfe (diff) | |
Taint printing changes: make it for debugging only, except when showing all events in exhaustive mode
Diffstat (limited to 'src/pretty_print.ml')
0 files changed, 0 insertions, 0 deletions