summaryrefslogtreecommitdiff
path: root/backends/fstar
diff options
context:
space:
mode:
authorSon Ho2023-11-21 10:22:51 +0100
committerSon Ho2023-11-21 10:22:51 +0100
commitdcd34ceed0c52738b1bb8139e7130db9bad1a774 (patch)
tree50dae3ab70a5b22c5751d891893aff87e734d724 /backends/fstar
parentdb58a6bcc95c66febc70e90af928feae7dddf56c (diff)
Fix issues with the builtin names
Diffstat (limited to 'backends/fstar')
0 files changed, 0 insertions, 0 deletions