doc(api) Fix intern_token example (#468)

A very small fix. Thanks for the documentation!
This commit is contained in:
Ivan Enderlin 2019-06-18 18:17:17 +02:00 committed by Markus Westerlind
parent a879a3bd73
commit 57f72944e3