summaryrefslogtreecommitdiff
path: root/tests/fstar/traits/Makefile
diff options
context:
space:
mode:
authorSon Ho2024-06-11 14:06:23 +0200
committerSon Ho2024-06-11 14:06:23 +0200
commit2e91b90e332c473253c2ff91fd65da34eb709572 (patch)
treed7b06e270fd6a1cf69717f98db7c30e43788dad1 /tests/fstar/traits/Makefile
parentbf883726d771988c838bc6a6e1c012dfb008769c (diff)
Deactivate the use of tuple projectors in the Lean backend
Diffstat (limited to 'tests/fstar/traits/Makefile')
0 files changed, 0 insertions, 0 deletions