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/common/macros.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/common')

diff --git a/doc/common/macros.tex b/doc/common/macros.tex
index 927a912fbf..e790d20e00 100644
--- a/doc/common/macros.tex
+++ b/doc/common/macros.tex
@@ -273,6 +273,7 @@
 \newcommand{\nS}{\mbox{\textsf{S}}}
 \newcommand{\node}{\mbox{\textsf{node}}}
 \newcommand{\Nil}{\mbox{\textsf{nil}}}
+\newcommand{\SProp}{\mbox{\textsf{SProp}}}
 \newcommand{\Prop}{\mbox{\textsf{Prop}}}
 \newcommand{\Set}{\mbox{\textsf{Set}}}
 \newcommand{\si}{\mbox{\textsf{if}}}
-- 
cgit v1.2.3