[Aptitude-devel] r3018 - branches/aptitude-0.3/aptitude/src/generic/problemresolver

[Daniel Burrows]

Author: dburrows
Date: Wed Apr 20 23:59:17 2005
New Revision: 3018

Modified:
   branches/aptitude-0.3/aptitude/src/generic/problemresolver/model.tex
Log:
Fix a dumb thinko.

Modified: branches/aptitude-0.3/aptitude/src/generic/problemresolver/model.tex
==============================================================================
--- branches/aptitude-0.3/aptitude/src/generic/problemresolver/model.tex	(original)
+++ branches/aptitude-0.3/aptitude/src/generic/problemresolver/model.tex	Wed Apr 20 23:59:17 2005
@@ -550,7 +550,7 @@
 
   \begin{equation}
     I_k = \begin{cases}
-      I_{k-1} & \text{if $I_k$ is consistent} \\
+      I_{k-1} & \text{if $I_{k-1}$ is consistent} \\
       I_k^{+} & \text{otherwise}
     \end{cases}
   \end{equation}