summaryrefslogtreecommitdiff
path: root/proofs/signatures/signatures.cpp.in
blob: 37c152b2f32dc6cd5753aa42e101fcc9fbafb78c (plain) 
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback