Fix partial commit of documentation update
authorAndy Wingo <wingo@pobox.com>
Mon, 7 Jan 2013 22:19:10 +0000 (23:19 +0100)
committerAndy Wingo <wingo@pobox.com>
Mon, 7 Jan 2013 22:19:10 +0000 (23:19 +0100)
commit4dbac5e08b13e4aa4ddb40e16034605757057290
tree33efea4df649e6a694e2f5fd383dd3fb575fb2e3
parent9f17d967c9b108f856776c035462e93017a6e7e2
Fix partial commit of documentation update

* doc/ref/api-procedures.texi (Compiled Procedures): Fix
  partially-committed doc update.
doc/ref/api-procedures.texi