rrt 2001/08/23 03:06:04 PDT Modified files: ghc/rts/gmp configure Log: Remove spurious ;; from when the changed line was in a case. Revision Changes Path 1.14 +1 -1 fptools/ghc/rts/gmp/configure