diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/refman/RefMan-cic.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex index 38e7db18e5..9db8c8328b 100644 --- a/doc/refman/RefMan-cic.tex +++ b/doc/refman/RefMan-cic.tex @@ -98,6 +98,8 @@ inconsistency} error (see also Section~\ref{PrintingUniverses}). % - explain why it arised % - how can a user identify the "vicious cycle". +% QUESTION: Is the presentation of universes as totally ordered a necessary or advantageous step? + %% HH: This looks to me more like source of confusion than helpful %% \subsection{Constants} |