summaryrefslogtreecommitdiff
path: root/compiler/ExtractBase.ml
diff options
context:
space:
mode:
authorSon Ho2024-03-29 16:23:03 +0100
committerSon Ho2024-03-29 16:23:03 +0100
commit16bebef339ee390b77e5b5505126aba74019a8f8 (patch)
tree571e0e416c71e43cf7068bc2fc3ccd0aec760405 /compiler/ExtractBase.ml
parent5809c45fbbfcbb78b15a97be619dcde4ab4868b8 (diff)
Add an error message
Diffstat (limited to 'compiler/ExtractBase.ml')
0 files changed, 0 insertions, 0 deletions