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

---
 interp/impargs.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'interp/impargs.ml')

diff --git a/interp/impargs.ml b/interp/impargs.ml
index 806fe93297..f3cdd64633 100644
--- a/interp/impargs.ml
+++ b/interp/impargs.ml
@@ -96,11 +96,11 @@ let set_maximality imps b =
   this kind if there is enough arguments to infer them)
 
 - [DepFlex] means that the implicit argument can be found by unification
-  along a collapsable path only (e.g. as x in (P x) where P is another
+  along a collapsible path only (e.g. as x in (P x) where P is another
   argument) (we do (defensively) print the arguments of this kind)
 
 - [DepFlexAndRigid] means that the least argument from which the
-  implicit argument can be inferred is following a collapsable path
+  implicit argument can be inferred is following a collapsible path
   but there is a greater argument from where the implicit argument is
   inferable following a rigid path (useful to know how to print a
   partial application)
-- 
cgit v1.2.3