[polyspace R2015b] need to add multiple headers

Hello All,

I am using polyspace code prover 2015b. To avoid multiple inclusion of headers file i want to set the compiler option -include-headers-once.

What is the right expression to add those multiple headers with the option -include-headers-once

thank you very much