summaryrefslogtreecommitdiff
path: root/tests/fstar/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-10-24 15:49:54 +0200
committerSon Ho2023-10-24 15:49:54 +0200
commit9ddd174959970f87658191034b70d0cfa02ff451 (patch)
treeba746d7a01a7603730b8dd9613010b3dc0476f12 /tests/fstar/Makefile
parentb631875f8166b3db81187a179eef2f21f52db2bd (diff)
Filter some type arguments for the builtin types/functions
Diffstat (limited to 'tests/fstar/Makefile')
0 files changed, 0 insertions, 0 deletions