1 2 3 4 5 6 7 8 9 10
namespace CVC4 { namespace proof { extern const char *const plf_signatures; const char *const plf_signatures = "\ @CORE_SIGNATURES@\ "; } // namespace proof } // namespace CVC4