diff options
| author | Nadrieril | 2024-05-24 16:20:04 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-05-24 16:22:11 +0200 |
| commit | c4af12c1c34406720d8173f2972d4cf1f42f8f5b (patch) | |
| tree | c7dd772e3a7c3eb0941b839f0285e9caa67d73ce /backends/coq/Primitives.v | |
| parent | 0baa0519cf477fe1fa447417585960fc811bcae9 (diff) | |
fix generated file
Diffstat (limited to 'backends/coq/Primitives.v')
0 files changed, 0 insertions, 0 deletions