From ea9d2379a6668ef26e8ea6abb5bff6d55026634d Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Tue, 30 Aug 2016 19:07:35 +0100
Subject: [PATCH] comma

---
 doc/html-manual/index.shtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/html-manual/index.shtml b/doc/html-manual/index.shtml
index baa4797892..1e5690411f 100644
--- a/doc/html-manual/index.shtml
+++ b/doc/html-manual/index.shtml
@@ -15,7 +15,7 @@
 
 <p>
 <a href="cbmc.shtml">A Short Tutorial</a>,
-<a href="cbmc-loops.shtml">Loop Unwinding</a>
+<a href="cbmc-loops.shtml">Loop Unwinding</a>,
 <a href="cover.shtml">Test Suite Generation</a>
 </p>