warning fix

vprover · Dec 11, 2023 · 0062ad6 · 0062ad6
1 parent f724455
commit 0062ad6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Kernel/Term.hpp b/Kernel/Term.hpp
@@ -1150,6 +1150,7 @@ std::ostream& operator<< (std::ostream& out, const Term& tl );
 std::ostream& operator<< (std::ostream& out, const Literal& tl );
 
 std::ostream& operator<<(std::ostream& out, Term::SpecialFunctor const& self);
+std::ostream& operator<<(std::ostream& out, TermList::Top const& self);
 
 } // namespace Kernel