summaryrefslogtreecommitdiff
path: root/tests/fstar/misc
diff options
context:
space:
mode:
authorSon Ho2023-09-03 19:41:03 +0200
committerSon Ho2023-09-03 19:41:03 +0200
commitdfcbfab4030be2f03b159a4b298ed75ac2f236ae (patch)
tree4300dc6c3eab5680c7afd06441c743c33e3bc0c7 /tests/fstar/misc
parentcce09bb0fb64b07b07613d7db59857651e040c20 (diff)
Add the keep_fwd field in TranslateCore.pure_fun_translation
Diffstat (limited to 'tests/fstar/misc')
0 files changed, 0 insertions, 0 deletions