[fix] compiler, database, mongo: Bad type annotation on optional access

MLstate · Dec 5, 2012 · 2bbb062 · 2bbb062
1 parent 9c6c50b
commit 2bbb062
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/opa/pass_MongoAccessGeneration.ml b/compiler/opa/pass_MongoAccessGeneration.ml
@@ -1063,7 +1063,7 @@ module Generator = struct
                      in
                      OpaMapToIdent.typed_val ~label ~ty:[dataty] set_to_uniq annotmap gamma in
                    apply_postmap gamma kind dataty postmap
-                     (C.apply ~ty gamma annotmap set_to_uniq [set])
+                     (C.apply gamma annotmap set_to_uniq [set])
                | DbSchema.Map (_keyty, _), true ->
                    let (annotmap, map_to_uniq) =
                      let map_to_uniq = match kind with