diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-31 15:55:01 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-31 15:55:01 -0800 |
commit | 2274a82dbe7b60af6dbaeec391ab85559d9791b8 (patch) | |
tree | dd1e12b02c7d912a941032c42e001c89eef09bb3 /src/testsuite | |
parent | a4f62a012320bfe5c898ba7d4af0680c101b7548 (diff) | |
download | open-axiom-2274a82dbe7b60af6dbaeec391ab85559d9791b8.tar.gz |
Defer compilation of capsule functions to compFunctorBody
Diffstat (limited to 'src/testsuite')
0 files changed, 0 insertions, 0 deletions