From 3255724a33ec643bd98a7fbc13cf0624aab7ead3 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Thu, 19 Apr 2018 09:46:22 -0700
Subject: Fix minor typo.

---
 lib/isabelle/manual/Manual.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/isabelle/manual/Manual.thy b/lib/isabelle/manual/Manual.thy
index 760c1f7b..5286b754 100644
--- a/lib/isabelle/manual/Manual.thy
+++ b/lib/isabelle/manual/Manual.thy
@@ -59,7 +59,7 @@ This uses the following options:
 
 Isabelle definitions can then be generated by passing the @{verbatim "-isa"} flag to Lem.
 In order for Lem to find the Sail library, the subdirectories @{path "src/gen_lib"} and
-and @{path "src/lem_interp"} of Sail will have to be added to Lem's include path using the
+@{path "src/lem_interp"} of Sail will have to be added to Lem's include path using the
 @{verbatim "-lib"} option, e.g.
 
 @{verbatim [display]
-- 
cgit v1.2.3