diff options
| author | Gabriel Kerneis | 2014-02-12 15:26:44 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-12 15:26:44 +0000 |
| commit | 8fa86dcbf655746dd6f5df054df05f2f0e7ac741 (patch) | |
| tree | 9735131daf9f24cf573a9982f596b7bac646f21f /src/test | |
| parent | 1d6d4b2eba691926045cf2822550e0339652ea18 (diff) | |
Replace nat by natural in interpreter
Diffstat (limited to 'src/test')
0 files changed, 0 insertions, 0 deletions