1 files changed, 1 insertions, 0 deletions

diff --git a/def.tex b/def.tex
index 79079e3..ccc30b6 100644
--- a/def.tex
+++ b/def.tex
@@ -2,6 +2,7 @@
 \section{Definities}
 \label{sec:def}
 
+\input{defmeta}
 \input{defsyn}
 \input{defio}
 \input{defstate}