GCC 4.1: Fixed invalid (accidental) character in source file.

Probably entered through an accidental key combination?
Surprisingly this only caused problems on GCC 4.1, not on other compilers.
Generator: Correctly deal with double precision pragma on single precision devices.