diff options
| author | Son Ho | 2023-11-27 10:29:25 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-27 10:29:25 +0100 |
| commit | bef2bd34fcb0817f1b7d16b95122bcc3c6f05c72 (patch) | |
| tree | b491462e77665dceb44b4899f97508d440c57d6a /tests/coq/traits | |
| parent | 959d6fce38c8d8ca6eaed3ad6f458b87f91a9abc (diff) | |
Generate a dedicated file for the external types
Diffstat (limited to '')
| -rw-r--r-- | tests/coq/traits/Traits.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/coq/traits/Traits.v b/tests/coq/traits/Traits.v index 50eaf848..ebdca4ec 100644 --- a/tests/coq/traits/Traits.v +++ b/tests/coq/traits/Traits.v @@ -611,4 +611,4 @@ Arguments CFn_t_call_mut { _ _ }. Definition incr_u32 (x : u32) : result u32 := u32_add x 1%u32. -End Traits . +End Traits. |