Add move constructor

VeriFIT · Sep 8, 2023 · 7cd3a6f · 7cd3a6f
1 parent 253b62d
commit 7cd3a6f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/include/mata/parser/inter-aut.hh b/include/mata/parser/inter-aut.hh
@@ -108,6 +108,8 @@ public:
     FormulaNode(const FormulaNode& n)
         : type(n.type), raw(n.raw), name(n.name), operator_type(n.operator_type), operand_type(n.operand_type) {}
 
+    FormulaNode(FormulaNode&&) = default;
+
     FormulaNode& operator=(const FormulaNode& other) = default;
     FormulaNode& operator=(FormulaNode&& other) = default;
 };