Imported Upstream version 0.13upstream/0.13

Change-Id: I7cc83b826345ba2d53631534ce803771a505f7f0
Signed-off-by: DongHun Kwak <dh0128.kwak@samsung.com>

1 files changed, 3 insertions, 3 deletions

diff --git a/doc/implementation.tex b/doc/implementation.tex
index d5ece80e..76d1acd5 100644
--- a/doc/implementation.tex
+++ b/doc/implementation.tex
@@ -1650,7 +1650,7 @@ only being applied to relations from a given domain to itself.
 However, it is also possible to detect disjoint domains and ranges
 and to apply Floyd-Warshall internally.
 
-\linesnumbered
+\LinesNumbered
 \begin{algorithm}
 \caption{The modified Floyd-Warshall algorithm of
 \protect\shortciteN{Kelly1996closure}}
@@ -1662,8 +1662,8 @@ and to apply Floyd-Warshall internally.
 $R_{pq}$ contains all indirect paths from $p$ to $q$ in the input graph}
 %
 \BlankLine
-\SetVline
-\dontprintsemicolon
+\SetAlgoVlined
+\DontPrintSemicolon
 %
 \For{$r \in [0, n-1]$}{
     $R_{rr} \coloneqq R_{rr}^+$ \nllabel{l:Floyd:closure}\;