diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-13 09:06:33 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 7c3f54f21acf99681c34ced71c8033bafb853052 (patch) | |
| tree | 067ab54c96375c87ef6a7a17fc483e88dbd2d49c /proofs/signatures/signatures.cpp.in | |
| parent | 7c2e3700d5f1fe13885cde7f03396c0510d72109 (diff) | |
cmake: Add libsignatures for proofs.
Diffstat (limited to 'proofs/signatures/signatures.cpp.in')
| -rw-r--r-- | proofs/signatures/signatures.cpp.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/signatures/signatures.cpp.in b/proofs/signatures/signatures.cpp.in index 0040eb0c6..37c152b2f 100644 --- a/proofs/signatures/signatures.cpp.in +++ b/proofs/signatures/signatures.cpp.in @@ -3,7 +3,7 @@ namespace proof { extern const char *const plf_signatures; const char *const plf_signatures = "\ -@CORE_SIGNATURES@ +@CORE_SIGNATURES@\ "; } // namespace proof |