sjrd/mozart2 — comment on commit c01d12466dcdd3f7522d3a7287392c30bf8872dc
File: generator/main/implementations.cc line 106
By yjaradin:

Do we need that?