From 4d6c244ca6003991d6a3932461c5b1034e32b8f4 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 27 Jan 2021 15:29:32 +0100
Subject: Typo in comment

Co-authored-by: Enrico Tassi <Enrico.Tassi@inria.fr>---
 lib/stateid.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/stateid.mli b/lib/stateid.mli
index 4563710f84..00acc962a2 100644
--- a/lib/stateid.mli
+++ b/lib/stateid.mli
@@ -42,7 +42,7 @@ type ('a,'b) request = {
   name     : string
 }
 
-(* Asks the document manager is the given state is valid (or belongs to an
+(* Asks the document manager if the given state is valid (or belongs to an
    old version of the document) *)
 val is_valid : doc:int -> t -> bool
 
-- 
cgit v1.2.3