diff options
| author | Pierre-Marie Pédrot | 2017-07-24 19:37:03 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-07-24 19:41:08 +0200 |
| commit | fbfe239730bd5069026ae4e5356e93d3f3bfcb53 (patch) | |
| tree | c81d399e6bcf6c74f8f8238b6fa950409ddbb9f1 /src/tac2stdlib.ml | |
| parent | a647c38d3024f34711fbaa66975b5812097c33cc (diff) | |
Correctly pushing variables for tuple patterns.
Diffstat (limited to 'src/tac2stdlib.ml')
0 files changed, 0 insertions, 0 deletions