summaryrefslogtreecommitdiff
path: root/backends/lean/Base
diff options
context:
space:
mode:
authorSon Ho2024-04-03 17:36:05 +0200
committerSon Ho2024-04-03 17:36:05 +0200
commit3fdb4ca62155b6d913bceb7797ee9e10263cb087 (patch)
treefcdea76e394d5e5c747973e4176ba74fceb85b93 /backends/lean/Base
parent944a46fe61018e2b4266f19297daa822b41cf9e7 (diff)
Remove the check for CHARON_HOME
Diffstat (limited to 'backends/lean/Base')
0 files changed, 0 insertions, 0 deletions