diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-15 19:33:04 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 07368b6c38112763ea727324403fe29269405d55 (patch) | |
| tree | ccb7fe0db51b5c3e39ac702296de7aad38881c3d /proofs/signatures/signatures.cpp.in | |
| parent | 61572fe01f0fcfe3c9c96811ec3572ad7e572189 (diff) | |
cmake: .cpp generation done, .h generation not yet complete
Diffstat (limited to 'proofs/signatures/signatures.cpp.in')
| -rw-r--r-- | proofs/signatures/signatures.cpp.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/proofs/signatures/signatures.cpp.in b/proofs/signatures/signatures.cpp.in new file mode 100644 index 000000000..0040eb0c6 --- /dev/null +++ b/proofs/signatures/signatures.cpp.in @@ -0,0 +1,10 @@ +namespace CVC4 { +namespace proof { + +extern const char *const plf_signatures; +const char *const plf_signatures = "\ +@CORE_SIGNATURES@ +"; + +} // namespace proof +} // namespace CVC4 |