* src/doc.c (Fsubstitute_command_keys): Make previous change compile.
commitd213cf0400ee5cad2e7f4626745fd97b942ff5e9
authorGlenn Morris <rgm@gnu.org>
Thu, 18 Jun 2015 23:15:05 +0000 (18 19:15 -0400)
committerGlenn Morris <rgm@gnu.org>
Thu, 18 Jun 2015 23:15:05 +0000 (18 19:15 -0400)
treee73df1cd6d1771cd473f2a5f247bac5bad19a999
parent52c3946c872c8bd96508f74cdda5cbb90c664306
* src/doc.c (Fsubstitute_command_keys): Make previous change compile.
src/doc.c