Index: why/src/hypotheses_filtering.ml
===================================================================
--- why.orig/src/hypotheses_filtering.ml	2017-04-22 20:32:34.418222231 +0200
+++ why/src/hypotheses_filtering.ml	2017-04-22 20:32:34.414222209 +0200
@@ -1680,8 +1680,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
