diff options
author | 2015-06-26 11:24:16 +0200 | |
---|---|---|
committer | 2015-06-26 11:24:16 +0200 | |
commit | 576d7a815174106f337fca2f19ad7f26a7e87cc4 (patch) | |
tree | 4679e39132853febe84670f5c039fc4608418496 /tactics/tacticals.ml | |
parent | 42b7e36ddb68f53ada686900e5a98435d9ff7fde (diff) |
Add a flag to deactivate guard checking in the kernel.
Diffstat (limited to 'tactics/tacticals.ml')
0 files changed, 0 insertions, 0 deletions