--- a/ninems/ninems.tex Sun Jun 30 20:07:54 2019 +0100
+++ b/ninems/ninems.tex Sun Jun 30 22:23:52 2019 +0100
@@ -1,4 +1,4 @@
-\documentclass[a4paper,UKenglish]{lipics}
+ \documentclass[a4paper,UKenglish]{lipics}
\usepackage{graphic}
\usepackage{data}
\usepackage{tikz-cd}