diff options
| author | Emilio Jesus Gallego Arias | 2019-02-11 13:27:13 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-02-11 13:27:13 +0100 |
| commit | 30a8190264267e0567f6c52ed263cb4fb6ac9b0c (patch) | |
| tree | bee4d2dbc188c119d21e29c91a0b36578f934d52 /kernel/nativecode.mli | |
| parent | d6def525d3d8a3c0470a5dfa0408f27daf2ef0aa (diff) | |
| parent | 22bbbd1a8cf5b75e9e9002ce9cfc8b5ced5f355a (diff) | |
Merge PR #9541: [stm] -async-proofs-tac-j accepts only >= 1 (fix #9533)
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions