$OpenBSD: patch-algo_depsolver_ml,v 1.2 2015/08/30 15:56:12 avsm Exp $
--- algo/depsolver.ml.orig	Mon Aug  3 18:07:28 2015
+++ algo/depsolver.ml	Mon Aug  3 18:07:28 2015
@@ -37,11 +37,6 @@ let reason map universe =
   let globalid = Cudf.universe_size universe in
   List.filter_map (function
     |Diagnostic_int.Dependency(i,vl,il) when i = globalid -> None
-    |Diagnostic_int.Missing(i,vl) when i = globalid -> 
-        fatal "the package encoding global constraints can't be missing"
-    |Diagnostic_int.Conflict(i,j,vpkg) when i = globalid || j = globalid -> 
-        fatal "the package encoding global constraints can't be in conflict"
-
     |Diagnostic_int.Dependency(i,vl,il) -> Some (
         Diagnostic.Dependency(from_sat (map#inttovar i),vl,List.map (fun i -> from_sat (map#inttovar i)) il)
     )
