$OpenBSD: patch-common_edosSolver_ml,v 1.1 2015/08/30 15:56:12 avsm Exp $
--- common/edosSolver.ml.orig	Tue Nov 18 11:42:46 2014
+++ common/edosSolver.ml	Mon Aug  3 18:07:28 2015
@@ -47,7 +47,7 @@ module type T = sig
   val pboidx : state -> int -> int -> int
 end
 
-include Util.Logging(struct let label = __FILE__ end) ;;
+include Util.Logging(struct let label = "common/edosSolver.ml" end) ;;
 
 module IntHash = 
   Hashtbl.Make (struct
