From 1ed71fb2a5dbf1b1a44d25a8b9588c8e0f43144f Mon Sep 17 00:00:00 2001
From: Alex Richardson
Date: Mon, 28 Sep 2020 16:51:54 +0100
Subject: LaTeX: provide default implementations of the other saildoc commands

---
 test/latex/candperm.commands.tex.exp | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'test')

diff --git a/test/latex/candperm.commands.tex.exp b/test/latex/candperm.commands.tex.exp
index 9c8ca6ff..0ba8e659 100644
--- a/test/latex/candperm.commands.tex.exp
+++ b/test/latex/candperm.commands.tex.exp
@@ -1,4 +1,9 @@
 \providecommand\saildoclabelled[2]{\phantomsection\label{#1}#2}
+\providecommand\saildocval[2]{#1 #2}
+\providecommand\saildocfcl[2]{#1 #2}
+\providecommand\saildoctype[2]{#1 #2}
+\providecommand\saildocfn[2]{#1 #2}
+\providecommand\saildocoverload[2]{#1 #2}
 
 \newcommand{\sailtypeast}{\saildoclabelled{sailtypezast}{\saildoctype{}{\lstinputlisting[language=sail]{out/typezast6bb070d12e82e4887160cdfd016230c8.tex}}}}
 
-- 
cgit v1.2.3