From 1befd3febc5b97cfa4e6b4c81d7b307e633e0018 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 9 Aug 2016 14:45:58 +0200
Subject: [PATCH] docs: mathpartir is part of TeXLive nowadays

---
 docs/setup.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/setup.tex b/docs/setup.tex
index 8c5b92196..29030f009 100644
--- a/docs/setup.tex
+++ b/docs/setup.tex
@@ -14,7 +14,7 @@
 \usepackage{amssymb}
 \usepackage{stmaryrd}
 
-\usepackage{\basedir mathpartir}
+\usepackage{mathpartir}
 
 \usepackage{\basedir pftools}
 \usepackage{\basedir iris}
-- 
GitLab