From a5abe07d98b089808b2a98b4a90f7974eddc52c7 Mon Sep 17 00:00:00 2001
From: Tanaka Akira
Date: Thu, 31 Jan 2019 16:14:38 +0900
Subject: Change {\Sort} to \Sort.

After #9435 (Use \mathcal instead of \cal), \Sort doesn't have
font changing effect.

So, {\Sort} is same as \Sort now and the former is changed to latter in
cic.rst.
---
 doc/sphinx/language/cic.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/sphinx/language/cic.rst b/doc/sphinx/language/cic.rst
index 05878a9f33..370ba2d87a 100644
--- a/doc/sphinx/language/cic.rst
+++ b/doc/sphinx/language/cic.rst
@@ -328,7 +328,7 @@ following rules.
 .. inference:: Prod-Prop
 
    \WTEG{T}{s}
-   s \in {\Sort}
+   s \in \Sort
    \WTE{\Gamma::(x:T)}{U}{\Prop}
    -----------------------------
    \WTEG{\forall~x:T,U}{\Prop}
@@ -1865,7 +1865,7 @@ in the sort :math:`\Set`, which is extended to a domain in any sort:
 .. inference:: ProdImp
 
    E[Γ] ⊢ T : s
-   s ∈ {\Sort}
+   s ∈ \Sort
    E[Γ::(x:T)] ⊢ U : \Set
    ---------------------
    E[Γ] ⊢ ∀ x:T,U : \Set
-- 
cgit v1.2.3