summaryrefslogtreecommitdiff
path: root/tests/fstar/traits/Traits.fst
diff options
context:
space:
mode:
authorSon Ho2023-12-12 17:59:12 +0100
committerSon Ho2023-12-12 17:59:12 +0100
commit91f5cd49660b5f012a2faeaf00c49455c548734a (patch)
treee20d07c395f75abd01bdeb7366f4cb79d15d8781 /tests/fstar/traits/Traits.fst
parent698f631e7addb92eb270a75607f1f6ffd8b2414f (diff)
Fix a minor issue with the divergent encoding
Diffstat (limited to 'tests/fstar/traits/Traits.fst')
0 files changed, 0 insertions, 0 deletions