diff --git a/assets/glossary.tex b/assets/glossary.tex index 19e7e20..d33d6e1 100644 --- a/assets/glossary.tex +++ b/assets/glossary.tex @@ -204,7 +204,7 @@ \newglossaryentry{del-rew}{ name={delayed rewriting}, - description={}, + description={A technique using during \gls{rewriting}. It delays the \gls{rewriting} of \glspl{constraint} whose \gls{decomp} might change based on information that can become available later during the process}, } \newglossaryentry{domain}{