diff options
Diffstat (limited to 'src/proof/trust_node.cpp')
-rw-r--r-- | src/proof/trust_node.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/proof/trust_node.cpp b/src/proof/trust_node.cpp index d99e6de51..6c5de13c7 100644 --- a/src/proof/trust_node.cpp +++ b/src/proof/trust_node.cpp @@ -19,7 +19,6 @@ #include "proof/proof_generator.h" namespace cvc5 { -namespace theory { const char* toString(TrustNodeKind tnk) { @@ -146,5 +145,4 @@ std::ostream& operator<<(std::ostream& out, TrustNode n) return out; } -} // namespace theory } // namespace cvc5 |