From 1e32ea82502c9ad8a0046d4dfe326f9a2e035101 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier <pierre.boutillier@ens-lyon.org>
Date: Fri, 20 Dec 2013 18:22:39 +0100
Subject: Warning removal

---
 tools/coqdep_common.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tools/coqdep_common.ml')

diff --git a/tools/coqdep_common.ml b/tools/coqdep_common.ml
index 759b0cf96..4dcd10ece 100644
--- a/tools/coqdep_common.ml
+++ b/tools/coqdep_common.ml
@@ -38,6 +38,7 @@ let is_dir_sep s i =
   | "Unix" -> s.[i] = '/'
   | "Cygwin" | "Win32" ->
     let c = s.[i] in c = '/' || c = '\\' || c = ':'
+  | _ -> assert false
 
 let (//) dirname filename =
   let l = String.length dirname in
-- 
cgit v1.2.3