summaryrefslogtreecommitdiff
path: root/tests/hol4/Holmakefile.template
diff options
context:
space:
mode:
authorSon Ho2024-06-03 20:50:56 +0200
committerSon Ho2024-06-03 20:50:56 +0200
commit5a3b8b399c182f38586b44abcf53041845d0f672 (patch)
tree4ca33f87c8b23ce3b19040145ba736d664ada573 /tests/hol4/Holmakefile.template
parentb259af6d427fa188037dafe1ef19704f31fbbf2c (diff)
Fix an issue with the type of the values given back by loops
Diffstat (limited to 'tests/hol4/Holmakefile.template')
0 files changed, 0 insertions, 0 deletions