diff options
| author | Arnaud Spiwack | 2014-10-28 15:29:52 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-11-01 22:43:57 +0100 |
| commit | d47c178be6e5dc52fedbb312fc51673623608994 (patch) | |
| tree | 0e0cbbf7ac6124a0bb8062c5f908d4d9b724f2bc /stm/asyncTaskQueue.ml | |
| parent | dd98363034c871ac858257cf71f089ca03c17ac1 (diff) | |
Add an [Info Level] option to print info traces automatically.
[Set Info Level n] prints all info traces at level [n]. [Unset Info Level] stops the automatic printing of info traces. The unfolding level [n] can be overloaded by local [Info m tac] calls.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions