diff options
author | Son Ho | 2023-08-03 16:21:43 +0200 |
---|---|---|
committer | Son Ho | 2023-08-03 16:21:43 +0200 |
commit | 931fabe3e8590815548d606b33fc8db31e9f6010 (patch) | |
tree | ba99ca0412c8e08cd8e89edbbd287c3b306ebfd8 /backends/coq/Primitives.v | |
parent | fa682c18c8ffc5fa7224d9e9d0e0dd94250ada57 (diff) |
Fix an issue with the extraction of aggregated arrays
Diffstat (limited to 'backends/coq/Primitives.v')
0 files changed, 0 insertions, 0 deletions