Merge pull request #601 from vprover/fix-lpocomparator-sharedptr-viol…

…ation Calling SharedPtr ctor with nullptr causes violation; call default ctor
vprover · Sep 15, 2024 · 752bd01 · 752bd01
2 parents 1d4a45a + 1c2d99c
commit 752bd01
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)) {}
   };