From 170da77ad45cb0e504f82d075836a8f2965efe28 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 20 Dec 2018 15:58:24 +0100
Subject: Documentation for SProp

---
 doc/sphinx/refman-preamble.sty | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/sphinx/refman-preamble.sty')

diff --git a/doc/sphinx/refman-preamble.sty b/doc/sphinx/refman-preamble.sty
index 8f7b1bb1e8..90a63a5a2d 100644
--- a/doc/sphinx/refman-preamble.sty
+++ b/doc/sphinx/refman-preamble.sty
@@ -58,6 +58,7 @@
 \newcommand{\Pair}{\textsf{pair}}
 \newcommand{\plus}{\mathsf{plus}}
 \newcommand{\Prod}{\textsf{prod}}
+\newcommand{\SProp}{\textsf{SProp}}
 \newcommand{\Prop}{\textsf{Prop}}
 \newcommand{\return}{\kw{return}}
 \newcommand{\Set}{\textsf{Set}}
-- 
cgit v1.2.3

