From 1c2d99c37cc9c09d6c3c63cc095feacc2f27ca97 Mon Sep 17 00:00:00 2001
From: Marton Hajdu <mezpusz@hotmail.com>
Date: Sun, 15 Sep 2024 12:13:38 +0200
Subject: [PATCH] Calling SharedPtr ctor with nullptr causes violation; call
 default ctor

---
 Kernel/LPOComparator.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)) {}
   };