Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[INSTR] Rename paje headers for call-location tracing
authorChristian Heinrich <franz-christian.heinrich@inria.fr>
Thu, 26 May 2016 10:37:35 +0000 (12:37 +0200)
committerChristian Heinrich <franz-christian.heinrich@inria.fr>
Thu, 26 May 2016 10:37:41 +0000 (12:37 +0200)
commit3070e56235256fcd3dfed7d241eebaf1e4dafc07
tree48f2e10f772d3492d193ffe99c5857357465aa98
parent61d490b47bd1a0369e1a72133d27e2eb486cab40
[INSTR] Rename paje headers for call-location tracing

We cannot call these values 'Filename' and 'Linenumber' because
they're reserved and will be ignored by pj_dump.
src/instr/instr_paje_header.cpp