From e6322e23958a937fa01960f8ce320717b9863253 Mon Sep 17 00:00:00 2001
From: JPR
Date: Tue, 21 May 2019 23:07:55 +0200
Subject: Fixing typos - Part 1

---
 checker/include | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checker/include')

diff --git a/checker/include b/checker/include
index 3ffc301724..411321cb3e 100644
--- a/checker/include
+++ b/checker/include
@@ -3,7 +3,7 @@
 (* Caml script to include for debugging the checker.
    Usage: from the checker/ directory launch ocaml toplevel and then
    type #use"include";;
-   This command loads the relevent modules, defines some pretty
+   This command loads the relevant modules, defines some pretty
    printers, and provides functions to interactively check modules
    (mainly run_l and norec).
  *)
-- 
cgit v1.2.3