diff options
| author |  Tej Chajed <tchajed@mit.edu> | 2017-03-10 12:00:35 -0500 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2017-06-23 10:32:19 +0200 |
| commit | 5ddad92dfc81b0333990dc1956544e924a14600a (patch) | |
| tree | 4d37e6dc8bdf91483f15c12706864652fe0170e4 /test-suite/output/UsePluginWarning.out | |
| parent | 965960bcd13eb3a6e531b03fb85be516dcdca551 (diff) | |
Add tests for handling of warnings
Diffstat (limited to 'test-suite/output/UsePluginWarning.out')
| -rw-r--r-- | test-suite/output/UsePluginWarning.out | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test-suite/output/UsePluginWarning.out b/test-suite/output/UsePluginWarning.out new file mode 100644 index 000000000..47409f3ec --- /dev/null +++ b/test-suite/output/UsePluginWarning.out @@ -0,0 +1 @@ +type foo = __ |