From 0062ad6d71c7f0eb3b1118ad31fd7f04c92a212e Mon Sep 17 00:00:00 2001
From: joe-hauns <joe-hauns@protonmail.com>
Date: Mon, 11 Dec 2023 12:48:22 +0100
Subject: [PATCH] warning fix

---
 Kernel/Term.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Kernel/Term.hpp b/Kernel/Term.hpp
index 82a84f1eca..b5245f5973 100644
--- 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