generator.ml: emit "const char *" for Device and String params
authorJim Meyering <meyering@redhat.com>
Tue, 11 Aug 2009 09:56:33 +0000 (11:56 +0200)
committerJim Meyering <meyering@redhat.com>
Thu, 13 Aug 2009 12:45:34 +0000 (14:45 +0200)
commit752147a1da4b1c2381ecba301627427c82b8d8a4
treeb72075743d6b872f9e0eec4689c8144b46565ea1
parenta4d2e6df0bbbd7dc9e5bf400e4e35efec0a18ff0
generator.ml: emit "const char *" for Device and String params

* src/generator.ml: Emit "const char *", not "char *" for Device and
String params, now that the non-const code is hoisted into the calling
code in stubs.c.
src/generator.ml