diff options
| author | Pierre-Marie Pédrot | 2021-01-06 16:08:16 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-01-18 13:36:46 +0100 |
| commit | 5dcf8f4d0fb7419c07b9287db22f6ed6cbf000a4 (patch) | |
| tree | 35fdde54ab660c1c0e3dff0de8ce00fd87e8832e /tactics/tactics.ml | |
| parent | 5b08cdcd4bde7fdcd21f7a0f0912f0021847294b (diff) | |
Move the only use of strong_with_flags to its single calling module.
This also allows to move the strong variant of cbn to the Cbn module.
Diffstat (limited to 'tactics/tactics.ml')
0 files changed, 0 insertions, 0 deletions