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

---
 plugins/extraction/ExtrOcamlBasic.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'plugins/extraction/ExtrOcamlBasic.v')

diff --git a/plugins/extraction/ExtrOcamlBasic.v b/plugins/extraction/ExtrOcamlBasic.v
index 36bb1148b6..02da168fd0 100644
--- a/plugins/extraction/ExtrOcamlBasic.v
+++ b/plugins/extraction/ExtrOcamlBasic.v
@@ -26,9 +26,9 @@ Extract Inductive prod => "( * )" [ "" ].
 Extract Inductive sumbool => bool [ true false ].
 Extract Inductive sumor => option [ Some None ].
 
-(** Restore lazyness of andb, orb.
+(** Restore laziness of andb, orb.
     NB: without these Extract Constant, andb/orb would be inlined
-    by extraction in order to have lazyness, producing inelegant
+    by extraction in order to have laziness, producing inelegant
     (if ... then ... else false) and (if ... then true else ...).
 *)
 
-- 
cgit v1.2.3