Change extension name to match current GHC head.
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Wed, 25 Jan 2012 03:40:38 +0000 (19:40 -0800)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Wed, 25 Jan 2012 03:40:38 +0000 (19:40 -0800)
commitf948f8311ac0b1fb98497484d94964a823b958b3
tree0001e4c5e0677b47fe010b06e45acf8d6e40c715
parent03246bfacbcefb0d4d7c333cc2059174109bf299
Change extension name to match current GHC head.
libraries/base/GHC/TypeNats.hs