Add missing header for timing target

[dellaert]

that's it :-)

[dellaert]

Tagging @ayushbaid as reviewer so he knows timing code exists in GTSAM :-)

[dellaert]

@varunagrawal added you on review as well because I also removed a forgotten obsolete header that prevents double expresso from working for me. It was not needed anymore as you recall.

[varunagrawal]

LGTM

[varunagrawal]

Whoops sorry about that. But great catch!

[varunagrawal]

Failure is because of Azure crapping out. Just need to re-run it again.

[dellaert]

OK, thanks. I'll restart that CI run.

[dellaert]

Although, that would restart a bunch. I'll just ignore that failure if all others pass.

[ayushbaid]

I did not get this. Does including the header file means we will automatically start timing all the functions in that file?

[dellaert]

I did not get this. Does including the header file means we will automatically start timing all the functions in that file?

No, absolutely not. There are a number of timing scripts in GTSAM, but you have to enable timing with the mechanisms described in the header.