Use different header for logged types

When counting the FLOPs, different header files with the logged types need to be used. The user has to make sure those are created and accessible.

Author: eikehmueller

pyop2/base.py

@@ -4265,7 +4265,7 @@ def total_flops(self):
                'DEFINITIONS':definitions,
                'DEALLOCATIONS':deallocations,
                'KERNEL_NAME':self._kernel.name,
-               'KERNEL_CODE':self._kernel.code(),
+               'KERNEL_CODE':self._kernel.code().replace('.h','_LOGGED.h'),
                'PARAMETERS':parameters}
         s = code.replace('double','LoggedDouble').replace('float','LoggedDouble')
         cppargs = ["-I%s" % d for d in self._kernel._include_dirs]