diff options
| author | guykatzz <katz911@gmail.com> | 2016-06-06 10:48:50 -0700 |
|---|---|---|
| committer | guykatzz <katz911@gmail.com> | 2016-06-06 10:48:50 -0700 |
| commit | c60db311c3e1ccd7b311fcea444865d1d5d32031 (patch) | |
| tree | 80fdfa89148750541cee3b794c0b3de53c63d01a /src/proof/uf_proof.h | |
| parent | 4498f55969576927c290b0fd26e0f94726068d03 (diff) | |
| parent | 8bfab32eed06973d53ce8ae066a9a26d4ae8a489 (diff) | |
Merge pull request #85 from CVC4/master_for_proof_merge
Merge from proof branch
Diffstat (limited to 'src/proof/uf_proof.h')
| -rw-r--r-- | src/proof/uf_proof.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/uf_proof.h b/src/proof/uf_proof.h index e359eaebd..0a23267d8 100644 --- a/src/proof/uf_proof.h +++ b/src/proof/uf_proof.h @@ -69,6 +69,7 @@ public: virtual void printSortDeclarations(std::ostream& os, std::ostream& paren); virtual void printTermDeclarations(std::ostream& os, std::ostream& paren); virtual void printDeferredDeclarations(std::ostream& os, std::ostream& paren); + virtual void printAliasingDeclarations(std::ostream& os, std::ostream& paren); }; |