#3 unknown format string

[Martin Strunz]

code_generation.cpp line 2223
fprintf( p_Fp , " % ");

should be probably fprintf( p_Fp , " %% ");