diff --git a/source/TaintTree.h b/source/TaintTree.h index faffc56e..fbb0f45b 100644 --- a/source/TaintTree.h +++ b/source/TaintTree.h @@ -42,8 +42,7 @@ class TaintTree final : public sparta::AbstractDomain { explicit TaintTree( Tree tree, - TaintTreeConfigurationOverrides config_overrides = - TaintTreeConfigurationOverrides::bottom()) + TaintTreeConfigurationOverrides config_overrides) : tree_(std::move(tree)), overrides_(std::move(config_overrides)) {} public: