diff -r aa3d23002080 -r 96bba9b493e9 ninems/ninems.tex
--- 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}