From dd710b9adbe7b27dccd6d4b21b90cb9bd07e5c07 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Mon, 26 Dec 2016 10:02:34 +0100
Subject: Fix some documentation typos.

---
 proofs/proof_global.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'proofs')

diff --git a/proofs/proof_global.ml b/proofs/proof_global.ml
index 541f299d4f..b00ecfad8a 100644
--- a/proofs/proof_global.ml
+++ b/proofs/proof_global.ml
@@ -610,7 +610,7 @@ module Bullet = struct
     let _ = register_behavior strict
   end
 
-  (* Current bullet behavior, controled by the option *)
+  (* Current bullet behavior, controlled by the option *)
   let current_behavior = ref Strict.strict
 
   let _ =
-- 
cgit v1.2.3