summaryrefslogtreecommitdiff
path: root/tests/fstar/traits
diff options
context:
space:
mode:
authorSon Ho2024-03-11 17:47:59 +0100
committerSon Ho2024-03-11 17:47:59 +0100
commit74dcc7a12f6100d56e38c7aefb131f41c9fe9b52 (patch)
tree526bf50a8da0f1baab5fca5f38301e5eb7d21432 /tests/fstar/traits
parentc33a9807cf6aa21b2364449ee756ebf93de19eca (diff)
Update the Makefile to automatically reformat the code
Diffstat (limited to 'tests/fstar/traits')
0 files changed, 0 insertions, 0 deletions