diff options
| author | Escherichia | 2024-03-25 10:16:15 +0100 |
|---|---|---|
| committer | Escherichia | 2024-03-28 15:26:17 +0100 |
| commit | 9b1a0d82c19375619904efe7e18e064701fb947b (patch) | |
| tree | c6e5c474b651a76b7409098561266828608c50b6 /tests/coq/misc/External_Funs.v | |
| parent | 76fda6b5d205a4422c2360b676227690714c9ac5 (diff) | |
Replaced some unclear TODOs error message placeholder by clearer TODOs, they were forgotten before last push
Diffstat (limited to 'tests/coq/misc/External_Funs.v')
0 files changed, 0 insertions, 0 deletions