diff options
| author | Son Ho | 2022-05-05 17:04:25 +0200 |
|---|---|---|
| committer | Son Ho | 2022-05-05 17:04:25 +0200 |
| commit | 678b057f231f8eb99d3dc70ceb99c7a90a854d4d (patch) | |
| tree | c00a79bc8935f1dc9478f67e77ef1182c857f3da /fstar | |
| parent | 30085b15a3ef07bc7179a60cd42085270dbc9351 (diff) | |
Update the translation so that we use a state only in the functions
which need one
Diffstat (limited to 'fstar')
0 files changed, 0 insertions, 0 deletions