From af8c4bcc57425e041100d6004e052a03d662aabb Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 20 May 2021 09:58:06 +0200
Subject: [PATCH] draining
---
source/Device.en.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/source/Device.en.tex b/source/Device.en.tex
index 34fb6d1..48d20b6 100644
--- a/source/Device.en.tex
+++ b/source/Device.en.tex
@@ -4,8 +4,8 @@
\begin{mhmodnl}{Device}{en}
\begin{definition}
To model properties of physical objects, we assume a \defi{device} under
- consideration, which is determined by a collection of \adefii{device
- properties}{device}{property}.
+ consideration, which is determined by a collection of
+ \defii[name=device-property]{device properties}.
\end{definition}
\end{mhmodnl}
\end{document}
--
GitLab