Verify that language options have been initialised#1409

Merged

thk123 merged 1 commit intodiffblue:developfrom thk123:bugfix/lang-args-missing

Oct 3, 2017

+19-6

Commits on Sep 20, 2017

Verify that language options have been initialized
thk123
committed