Merge branch 'master' of https://github.com/dopefishh/mc1516pa

[mc1516pa.git] / report2 / implementation.tex

diff --git a/report2/implementation.tex b/report2/implementation.tex
index 539f5a6..0f84b72 100644 (file)
--- a/report2/implementation.tex
+++ b/report2/implementation.tex
@@ -94,7 +94,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}