From: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Date: Tue, 1 Sep 2009 10:17:52 +0200
Subject: [PATCH] Fix weak pattern-matching in dynlink_lower_311_byte.ml

---
 src/lib/dynlink_lower_311_byte.ml |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/lib/dynlink_lower_311_byte.ml b/src/lib/dynlink_lower_311_byte.ml
index 58e0ee5..fc2705e 100644
--- a/src/lib/dynlink_lower_311_byte.ml
+++ b/src/lib/dynlink_lower_311_byte.ml
@@ -84,6 +84,7 @@ let from_dynlink_error = function
   | Dynlink.Corrupted_interface s -> Corrupted_interface s
   | Dynlink.File_not_found s -> File_not_found s
   | Dynlink.Cannot_open_dll s -> Cannot_open_dll s
+  | Dynlink.Inconsistent_implementation s -> Inconsistent_implementation s
 
 let stub_error f x = 
   try f x with Dynlink.Error e -> raise (Error (from_dynlink_error e))
--