diff options
| author | Alberto Ruiz <aruiz@um.es> | 2009-12-22 09:04:12 +0000 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2009-12-22 09:04:12 +0000 |
| commit | 107478b2288b0904159599be94089230c7cd3edf (patch) | |
| tree | 14834baa61a038efe0e81ed00d45071ba47f2789 /examples/pinv.hs | |
| parent | ed8f45f7316569bfeacdd2848017d93c5cfdd261 (diff) | |
fix ghc-6.12 warnings
Diffstat (limited to 'examples/pinv.hs')
0 files changed, 0 insertions, 0 deletions