From 00e5d84894932b04c852177c487012e4ce7f869c Mon Sep 17 00:00:00 2001
From: Aise Johan de Jong <aise.johan.de.jong@gmail.com>
Date: Thu, 12 Mar 2015 15:00:45 -0400
Subject: [PATCH] Fix typo in formal-defos.tex

Thanks to Johan Commelin
http://stacks.math.columbia.edu/tag/06G8#comment-1319
---
 formal-defos.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/formal-defos.tex b/formal-defos.tex
index 4852b6ce4..a7fe43e6f 100644
--- a/formal-defos.tex
+++ b/formal-defos.tex
@@ -76,7 +76,7 @@ \section{Introduction}
 
 \medskip\noindent
 {\it Categories cofibred in groupoids} are dual to categories fibred in
-groupoids; we introduced them in Section \ref{section-preliminary}.
+groupoids; we introduce them in Section \ref{section-preliminary}.
 A {\it smooth} morphism of categories cofibred in groupoids over
 $\mathcal{C}_\Lambda$ is one that satisfies the infinitesimal lifting
 criterion for objects, see