diff options
| author | Gabriel Kerneis | 2013-10-14 13:37:07 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-14 13:37:07 +0100 |
| commit | 14d544935fc87df2b258cd4c9ed5acede44fe1f3 (patch) | |
| tree | 4d4ddf7927acf2fd276068ea21d6395cfba99bc5 /src/pp.ml | |
| parent | 5c9abc9e9b56640270aa3b50560ccc87d5b765e3 (diff) | |
Run main() to execute tests
Tests do not pass because of weird pattern-matching errors
in the interpreter.
Diffstat (limited to 'src/pp.ml')
0 files changed, 0 insertions, 0 deletions