data/glr.c: Modify treatment of unused parameters to permit use
authorPaul Hilfinger <Hilfinger@CS.Berkeley.EDU>
Tue, 7 Jun 2005 02:47:12 +0000 (02:47 +0000)
committerPaul Hilfinger <Hilfinger@CS.Berkeley.EDU>
Tue, 7 Jun 2005 02:47:12 +0000 (02:47 +0000)
commit43d3b66471774fc5ec562ba35416f5ee5bae98c0
tree2f2feae23302a296fccaee50e4cc1ee43574b1b6
parent73e561d51a8f0ff3e28005a5e642556b8b14c347
data/glr.c: Modify treatment of unused parameters to permit use
  of g++ (which doesn't allow __attribute__ ((unused)) for parameters).
ChangeLog
data/glr.c