$OpenBSD: patch-algo_strongconflicts_ml,v 1.1 2015/08/30 15:56:12 avsm Exp $
--- algo/strongconflicts.ml.orig	Tue Nov 18 11:42:46 2014
+++ algo/strongconflicts.ml	Mon Aug  3 18:07:28 2015
@@ -14,7 +14,7 @@ open Common
 open CudfAdd
 open Defaultgraphs
 
-include Util.Logging(struct let label = __FILE__ end) ;;
+include Util.Logging(struct let label = "algo/strongconflicts.ml" end) ;;
 
 module ICG = Strongconflicts_int.CG
 
