14 lines
399 B
Diff
14 lines
399 B
Diff
--- src/hypotheses_filtering.ml.orig 2014-03-17 16:01:46.000000000 -0600
|
|
+++ src/hypotheses_filtering.ml 2015-03-18 12:30:00.000000000 -0600
|
|
@@ -1686,9 +1686,9 @@
|
|
*******************)
|
|
|
|
module W = struct
|
|
- type label = PdlGraph.E.label
|
|
+ type edge = PdlGraph.E.t
|
|
type t = int
|
|
- let weight x = x
|
|
+ let weight e = PdlGraph.E.label e
|
|
let zero = 0
|
|
let add = (+)
|
|
let compare = compare
|