diff options
author | Max Bolingbroke <batterseapower@hotmail.com> | 2011-08-26 08:27:45 +0100 |
---|---|---|
committer | Max Bolingbroke <batterseapower@hotmail.com> | 2011-08-26 08:27:45 +0100 |
commit | d26620748326adf9cffc64dce0fbc9d069894b3e (patch) | |
tree | 2ba600a9346c3654b1f18ccb30506b5bce86acd5 /examples/Bug6.hs | |
parent | fb11671ea6927db9b4f48d8e59546218c90acdca (diff) |
Rename factKind to constraintKind
Diffstat (limited to 'examples/Bug6.hs')
0 files changed, 0 insertions, 0 deletions