🎨 pre-commit fixes

cda-tum · Jul 1, 2024 · a6822fb · a6822fb
1 parent d984968
commit a6822fb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/Encodings/Encodings.hpp b/include/Encodings/Encodings.hpp
@@ -24,7 +24,7 @@ namespace encodings {
 
     struct NestedVar {
         explicit NestedVar(LogicTerm v):
-            var(std::move(v)), list(){};
+            var(std::move(v)), list() {};
         NestedVar(LogicTerm v, std::vector<NestedVar> l):
             var(std::move(v)), list(std::move(l)) {}
         LogicTerm              var = LogicTerm::noneTerm();