summaryrefslogtreecommitdiff
path: root/tests/coq/betree/BetreeMain_Opaque.v
diff options
context:
space:
mode:
authorSon Ho2023-01-13 16:18:43 +0100
committerSon HO2023-02-03 11:21:46 +0100
commite69382acbcc4bdd27612c9cf8ec282db71f8408d (patch)
tree61d2ab1565d1d8ee083308a92f05e547e0583f98 /tests/coq/betree/BetreeMain_Opaque.v
parent6de775cde92e37f2e5e70d3db34a326a4c831920 (diff)
Improve the pretty names generation for loops
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions