From 467eb67bb960c15e1335f375af29b4121ac5262b Mon Sep 17 00:00:00 2001
From: JPR
Date: Wed, 22 May 2019 21:40:57 +0200
Subject: Fixing typos - Part 2

---
 lib/pp_diff.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/pp_diff.mli')

diff --git a/lib/pp_diff.mli b/lib/pp_diff.mli
index 03468271d2..0eec18bd5a 100644
--- a/lib/pp_diff.mli
+++ b/lib/pp_diff.mli
@@ -88,7 +88,7 @@ Ppcmd_strings will be split into multiple Ppcmd_strings if a diff starts or ends
 in the middle of the string.  Whitespace just before or just after a diff will
 not be part of the highlight.
 
-Prexisting tags in pp may contain only a single Ppcmd_string.  Those tags will be
+Preexisting tags in pp may contain only a single Ppcmd_string.  Those tags will be
 placed inside the diff tags to ensure proper nesting of tags within spans of
 "start.diff.*" ... "end.diff.*".
 
-- 
cgit v1.2.3