diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-08-29 09:04:59 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-08-29 09:04:59 -0700 |
| commit | 22a4adf4ec172545fb1ed72bb85c30dc1186de62 (patch) | |
| tree | f1686ff6e48040f9692d973cf335af235cabfe58 /tools | |
| parent | 2e26046e1334d85efab9cfc2775cf59a66e8b459 (diff) | |
Add a type sig to satisfy ghc 7.10.3.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions