diff options
| author | Thomas Bauereiss | 2018-04-26 10:34:46 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-04-26 16:15:01 +0100 |
| commit | 18ba60abbe78fede03e8df19ed4f849f5fa7d592 (patch) | |
| tree | 405e02bd4ccce0e4e4677ad33ab0a1144711a5ae /src/test/run_tests.ml | |
| parent | 292f68461306a5b48855e53c8a8d386b2cf0e773 (diff) | |
Avoid adding explicit type annotations with generated type variables
Diffstat (limited to 'src/test/run_tests.ml')
0 files changed, 0 insertions, 0 deletions