diff --git a/tex/pftools.sty b/tex/pftools.sty
index c34260e9730f6bd71d21b5bd84d74d43d5aca3e6..0940d8c63a9c3901980e44cdd4991a8a55389bea 100644
--- a/tex/pftools.sty
+++ b/tex/pftools.sty
@@ -10,6 +10,7 @@
 \RequirePackage{Tabbing}	% Avoid the standard tabbing environment. Its \< conflicts with the semantic package.
 \RequirePackage{xparse}
 \RequirePackage{xcolor}
+\RequirePackage{mathpartir}
 
 %% COLOR DEFINITIONS
 \definecolor{rescolor}{HTML}{005504}