[fix] stdlib, mongo: unused value

MLstate · Feb 24, 2012 · 8e30b1e · 8e30b1e
1 parent 1b39c01
commit 8e30b1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stdlib/apis/mongo/bson.opa b/stdlib/apis/mongo/bson.opa
@@ -661,7 +661,7 @@ Bson = {{
             | {some = lty} -> {TyName_args=[lty.f2]; TyName_ident="list"}
             | {none} -> ty
           else ty
-        | ~{failure} -> ty
+        | {failure=_} -> ty
     nty
 
   check_list(ty, f, f2) =