Remove "__" prefix for forall when printing a RULE
authorsimonpj@microsoft.com <unknown>
Thu, 3 May 2007 12:46:06 +0000 (12:46 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 3 May 2007 12:46:06 +0000 (12:46 +0000)
commit0a960884b377903e41735bb2d36bec495bf5d890
tree6cf37d90cf3a16f1f33d94d4e30646484c2596ee
parent4813940fdda66861c686e8fd0527c6c5d0b69b1d
Remove "__" prefix for forall when printing a RULE
compiler/coreSyn/PprCore.lhs