diff -r cef43609a374 -r 0133e565e072 src/documentmanager.h
--- a/src/documentmanager.h	Sat Dec 14 23:00:01 2019 +0200
+++ b/src/documentmanager.h	Wed Jan 01 17:45:56 2020 +0200
@@ -7,11 +7,7 @@
 	Q_OBJECT
 	using ModelPointer = std::unique_ptr<Model>;
 public:
-	DocumentManager(QObject* parent = nullptr);
-	DocumentManager(const DocumentManager&) = delete;
-	DocumentManager(DocumentManager&&) = default;
-	DocumentManager& operator=(const DocumentManager&) = delete;
-	DocumentManager& operator=(DocumentManager&&) = default;
+    DocumentManager(QObject* parent = nullptr);
 	QString newModel();
 	Model* findModelByName(const QString& name);
 	QString openModel(const QString& path, QTextStream& errorStream);