From d306f5428db0d034aea55d3f0699c67c1f296cc1 Mon Sep 17 00:00:00 2001
From: JPR
Date: Thu, 23 May 2019 23:28:55 +0200
Subject: Fixing typos - Part 3

---
 lib/util.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/util.ml')

diff --git a/lib/util.ml b/lib/util.ml
index 38d73d3453..6e8b8de5dc 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -14,7 +14,7 @@ let on_fst f (a,b) = (f a,b)
 let on_snd f (a,b) = (a,f b)
 let map_pair f (a,b) = (f a,f b)
 
-(* Mapping under pairs *)
+(* Mapping under triplets *)
 
 let on_pi1 f (a,b,c) = (f a,b,c)
 let on_pi2 f (a,b,c) = (a,f b,c)
-- 
cgit v1.2.3