diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-09 15:15:49 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-09 15:15:49 +0200 |
| commit | 65e5a741655d8339ad5763e365ea2addd2e96e51 (patch) | |
| tree | 9e221758c6e1a3d9f4f860f5dbdeeb3f77ec4f34 /test/golden/proofdefinefunction/tokenizing.golden | |
| parent | 6129ebdf0d8549f3e4d23aa771f2c06020182b7e (diff) | |
put cardinalit to the right place
Diffstat (limited to 'test/golden/proofdefinefunction/tokenizing.golden')
0 files changed, 0 insertions, 0 deletions