HomeIsabelle/Phabricator

Fix bug found by Makarius in generated code. It seems to have been introduced…