diff options
| author | Kathy Gray | 2014-11-10 14:51:13 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-10 14:51:13 +0000 |
| commit | 391526a72ca92c05f7735ab90d181c1e840f012c (patch) | |
| tree | 06e7f844f84d6a1f11c8f7d09f2d35e1ed1cc127 /src/test/pattern.sail | |
| parent | 2ebd57650a2d0d86c6639783ff6d00c41d6565ac (diff) | |
Print contents of the [_] hole when it's available.
Also correct makefile typo
Diffstat (limited to 'src/test/pattern.sail')
0 files changed, 0 insertions, 0 deletions