From d085b5711075cd51e0b95cf3aea102ab867b850d Mon Sep 17 00:00:00 2001
From: Sam Pablo Kuper
Date: Mon, 31 Jul 2017 21:13:53 +0100
Subject: Minor grammar fix: replace a "then" with a "so".

---
 doc/refman/RefMan-int.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/refman/RefMan-int.tex b/doc/refman/RefMan-int.tex
index fbeccb664d..be010b15ce 100644
--- a/doc/refman/RefMan-int.tex
+++ b/doc/refman/RefMan-int.tex
@@ -58,7 +58,7 @@ Chapter~\ref{Addoc-coqide}.
 
 \section*{How to read this book}
 
-This is a Reference Manual, not a User Manual, then it is not made for a
+This is a Reference Manual, not a User Manual, so it is not made for a
 continuous reading. However, it has some structure that is explained
 below.
 
-- 
cgit v1.2.3