1 files changed, 0 insertions, 2 deletions
diff --git a/defs.tex b/defs.tex
index ac2b955..2aeac7d 100755
--- a/defs.tex
+++ b/defs.tex
@@ -1,7 +1,5 @@
 % Source: EasyCrypt manual (https://www.easycrypt.info)
 
-% !TeX root = easycrypt.tex
-
 %% Names
 % Tools
 \newcommand{\EasyCrypt}{\textsf{EasyCrypt}\xspace}