diff options
author | Alberto Ruiz <aruiz@um.es> | 2014-06-13 06:35:28 +0200 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2014-06-13 06:35:28 +0200 |
commit | 1c1fc3f1ba1781e087d84373b29633a0dc43c8fb (patch) | |
tree | 9139617619e62829a29ee2a199990ba107e9a270 /packages/tests/Setup.lhs | |
parent | 77066f8f2c7c41a6e472978c8d70994f07cc46ec (diff) |
fix missing conj in nullspace
introduced in the recent change, detected by quickcheck
Diffstat (limited to 'packages/tests/Setup.lhs')
0 files changed, 0 insertions, 0 deletions