summaryrefslogtreecommitdiff
path: root/rust-scripts
diff options
context:
space:
mode:
authorSon Ho2023-10-26 14:37:34 +0200
committerSon Ho2023-10-26 14:37:34 +0200
commit005ad3cc03745bc9211defa481d5e45738a6d832 (patch)
treef2854b27143dc2d602ce4f07ad9c28c7f775a62a /rust-scripts
parentc380ab1699a115edf88e9d83234a4423333e52bf (diff)
Improve the handling of saved function effects in ExtractBuiltin.ml
Diffstat (limited to 'rust-scripts')
0 files changed, 0 insertions, 0 deletions