summaryrefslogtreecommitdiff
path: root/proofs/signatures/signatures.cpp.in
blob: 0040eb0c6b3148ad5eefba10192d10f573e30374 (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