diff options
| author | Pierre-Marie Pédrot | 2017-07-26 13:30:58 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-07-26 14:10:29 +0200 |
| commit | 93b5d42467dae8513ad7da4990f909bcc9f5b7fa (patch) | |
| tree | c400f6ed62fcec01c9daeefd39d8e29791b1a97e /src/tac2expr.mli | |
| parent | bbf4ee2fe5072fa0bb639dce649c16fdd76f44b0 (diff) | |
Properly handling toplevel recursive definitions.
Diffstat (limited to 'src/tac2expr.mli')
0 files changed, 0 insertions, 0 deletions