From af84e080ff674a3d5cf2cf88874ddb6ebaf38ecf Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Tue, 9 Dec 2014 12:48:32 +0100
Subject: Switch the few remaining iso-latin-1 files to utf8

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

(limited to 'lib/explore.ml')

diff --git a/lib/explore.ml b/lib/explore.ml
index 90258b0e5..984114bf1 100644
--- a/lib/explore.ml
+++ b/lib/explore.ml
@@ -50,7 +50,7 @@ module Make = functor(S : SearchProblem) -> struct
     in
     explore [1] s
 
-  (*s Breadth first search. We use functional FIFOS à la Okasaki. *)
+  (*s Breadth first search. We use functional FIFOS à la Okasaki. *)
 
   type 'a queue = 'a list * 'a list
 
-- 
cgit v1.2.3