From 9256e242eb90f0fab8d37780eb33a7bb81dde3b5 Mon Sep 17 00:00:00 2001
From: Paul-Christian Volkmer <volkmer_p@ukw.de>
Date: Sun, 3 Sep 2023 18:40:43 +0200
Subject: [PATCH] Allow (actual) unused option

---
 src/model/requirements.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/model/requirements.rs b/src/model/requirements.rs
index f55a871..7d10d97 100644
--- a/src/model/requirements.rs
+++ b/src/model/requirements.rs
@@ -37,6 +37,7 @@ pub enum Requirement<'a> {
     ExternalDataCatalogue(String),
     DataFormReference(&'a DataForm),
     UnterformularReference(&'a Unterformular),
+    #[allow(dead_code)]
     ExternalDataFormReference(String),
     ExternalUnterformularReference(String),
 }