remove todo

[msc-thesis1617.git] / glossaries.tex

diff --git a/glossaries.tex b/glossaries.tex
index d05ca70..8b19444 100644 (file)
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -12,9 +12,6 @@
 \newglossaryentry{Ivory}{name=Ivory,
        description={is a type-safe \gls{EDSL} designed to generate \gls{C}-code
        for high-assurance low-level systems}}
-\newglossaryentry{Tower}{name=Tower,
-       description={is a type-safe \gls{EDSL} similar to \gls{Ivory} designed to
-       generate code for \acrlong{RTOS}}}
 \newglossaryentry{Task}{name=Task,
        description={is the basic building block of a \acrshort{TOP} system}}
 \newglossaryentry{mTask}{name=mTask,