$OpenBSD: patch-algo_depsolver_int_ml,v 1.1 2015/08/30 15:56:12 avsm Exp $
--- algo/depsolver_int.ml.orig	Tue Nov 18 11:42:46 2014
+++ algo/depsolver_int.ml	Mon Aug  3 18:07:28 2015
@@ -32,7 +32,7 @@ open Common
 let progressbar_init = Util.Progress.create "Depsolver_int.init_solver"
 let progressbar_univcheck = Util.Progress.create "Depsolver_int.univcheck"
 
-include Util.Logging(struct let label = __FILE__ end) ;;
+include Util.Logging(struct let label = "algo/depsolver_int.ml" end) ;;
 
 module R = struct type reason = Diagnostic_int.reason end
 module S = EdosSolver.M(R)
