summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-external/external_FunsScript.sml
diff options
context:
space:
mode:
authorSon Ho2023-12-22 20:12:00 +0100
committerSon Ho2023-12-22 20:12:00 +0100
commitb230ddacd44a1ca1804940bf89253bde8de7ffe1 (patch)
tree6fcb4cbcea7f260ae7fafe928d3b23bf307a660b /tests/hol4/misc-external/external_FunsScript.sml
parent719263b7bb727bdb432f66709b8c1eadc47ba922 (diff)
Fix a minor issue with the extraction of loops when merging the fwd/back functions
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions