From a0bf26019d3598f59e878de6dff27bc7c693572c Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Sat, 22 May 2021 18:03:47 +0200
Subject: [PATCH] draining
---
source/Device.en.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/source/Device.en.tex b/source/Device.en.tex
index 48d20b6..7409c28 100644
--- a/source/Device.en.tex
+++ b/source/Device.en.tex
@@ -5,7 +5,7 @@
\begin{definition}
To model properties of physical objects, we assume a \defi{device} under
consideration, which is determined by a collection of
- \defii[name=device-property]{device properties}.
+ \defii[name=device-property]{device}{properties}.
\end{definition}
\end{mhmodnl}
\end{document}
--
GitLab