diff --git a/Kernel/LPOComparator.hpp b/Kernel/LPOComparator.hpp
index 15cb18283..d867ba6d6 100644
--- a/Kernel/LPOComparator.hpp
+++ b/Kernel/LPOComparator.hpp
@@ -45,7 +45,7 @@ class LPOComparator
     BranchTag tag;
     SmartPtr<Node> n;
 
-    explicit Branch(BranchTag t) : tag(t), n(nullptr) { ASS(t==BranchTag::T_GREATER || t==BranchTag::T_NOT_GREATER); }
+    explicit Branch(BranchTag t) : tag(t) { ASS(t==BranchTag::T_GREATER || t==BranchTag::T_NOT_GREATER); }
     explicit Branch(TermList lhs, TermList rhs) : tag(BranchTag::T_UNKNOWN), n(new Node(lhs, rhs)) {}
   };