patrick
/
plasp
Archived
1
0
Fork 0

Added missing forward declaration.

This commit is contained in:
Patrick Lühne 2017-06-24 17:35:52 +02:00
parent d9bae984b2
commit fcb9aa0a76
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 0 deletions

View File

@ -23,6 +23,7 @@ namespace detail
void eliminateImply(ast::Precondition &precondition);
void negationNormalize(ast::Precondition &precondition);
void eliminateForAll(ast::Precondition &precondition);
////////////////////////////////////////////////////////////////////////////////////////////////////