From 4be3e5df62d42daf38d48d24d8917eff4ba64928 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Thu, 29 Oct 2015 11:29:31 +0100
Subject: COMMENT: question

---
 doc/refman/RefMan-cic.tex | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex
index b9f0ab9f53..39cf108439 100644
--- a/doc/refman/RefMan-cic.tex
+++ b/doc/refman/RefMan-cic.tex
@@ -100,6 +100,9 @@ inconsistency} error (see also Section~\ref{PrintingUniverses}).
 
 % QUESTION: Is the presentation of universes as totally ordered a necessary or advantageous step?
 
+% QUESTION: Shouldn't the explanation of universes in this chapter
+% be consolidatd with Chapter 29: Polymorphic Universes?
+
 %% HH: This looks to me more like source of confusion than helpful
 
 %% \subsection{Constants}
-- 
cgit v1.2.3