diff options
Diffstat (limited to 'site/posts/ClightIntroduction.v')
-rw-r--r-- | site/posts/ClightIntroduction.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/posts/ClightIntroduction.v b/site/posts/ClightIntroduction.v index 85d084b..755d505 100644 --- a/site/posts/ClightIntroduction.v +++ b/site/posts/ClightIntroduction.v @@ -1,4 +1,4 @@ -(** #<nav><p class="series">../coq.html</p>
+(** #<nav><p class="series">./coq.html</p>
<p class="series-prev">./RewritingInCoq.html</p>
<p class="series-next">./AlgebraicDatatypes.html</p></nav># *)
|