[project @ 2003-05-20 11:07:54 by stolz]
authorstolz <unknown>
Tue, 20 May 2003 11:07:54 +0000 (11:07 +0000)
committerstolz <unknown>
Tue, 20 May 2003 11:07:54 +0000 (11:07 +0000)
commit9cc52d7cf298279f2d140f3781d035c724579443
treea5146eedc92f04fd4d87dfa454aba745910e2c94
parent3cd32bc86f738b5ce9b069fd41e6e889579d4eef
[project @ 2003-05-20 11:07:54 by stolz]
Generate
  int main (int argc, char *argv [])
instead of
  int main (void)

Suggested by: Nicolas Oury
ghc/utils/hsc2hs/Main.hs