Add missing glossary description

2021-07-25 11:22:09 +10:00 · 2021-07-25 11:22:09 +10:00 · 504606ec06
commit 504606ec06
parent 3ffe2463ac
1 changed files with 1 additions and 1 deletions
--- 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}{