up

[mc1516pa.git] / report2 / implementation.tex

diff --git a/report2/implementation.tex b/report2/implementation.tex
index c69d4a1..5835f08 100644 (file)
--- a/report2/implementation.tex
+++ b/report2/implementation.tex
@@ -93,7 +93,7 @@ solution.
                \ForEach{$R_i$}{
                        $V_{new}\leftarrow BDDapply(\vee, V_{new}, BDDrelprod(V_{new}, R_i)$\;
                }
-               \lIf{$BDDsatcount(BDDand(G, new))>0$}{$break$}
+               \lIf{$BDDsatcount(BDDand(G, V_{new}))>0$}{$break$}
        }
 \end{algorithm}