Index: why/src/hypotheses_filtering.ml
===================================================================
--- why.orig/src/hypotheses_filtering.ml	2016-03-15 21:07:45.334803613 +0100
+++ why/src/hypotheses_filtering.ml	2016-03-15 21:07:45.334803613 +0100
@@ -1681,8 +1681,9 @@
 
 module W = struct 
   type label = PdlGraph.E.label
+  type edge = PdlGraph.E.t
   type t = int
-  let weight x = x
+  let weight x = PdlGraph.E. label x
   let zero = 0
   let add = (+)
   let compare = compare
