From 7cd3a6f97e93173016d7e28bfec1c80ea1a7d7b8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20Chocholat=C3=BD?= <chocholaty.david@protonmail.com>
Date: Fri, 8 Sep 2023 11:10:09 +0200
Subject: [PATCH] Add move constructor

---
 include/mata/parser/inter-aut.hh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/include/mata/parser/inter-aut.hh b/include/mata/parser/inter-aut.hh
index d5306b2ff..f1e9b3b07 100644
--- 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;
 };