e031c5b41e
Drop upstreamed -flocq24 and -frama-c-sodium patches. Drop all gwhy-related sources, as gwhy has been retired. Merge (X)Emacs files into the main package due to change in policy.
14 lines
399 B
Diff
14 lines
399 B
Diff
--- src/hypotheses_filtering.ml.orig 2015-03-25 08:32:17.000000000 -0600
|
|
+++ src/hypotheses_filtering.ml 2015-03-30 20:00:00.000000000 -0600
|
|
@@ -1680,9 +1680,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
|