Commit bd3596b3 authored by Maximilien Colange's avatar Maximilien Colange

No longer fail on pfed dimension now that it is implemented

parent 0211dba6
...@@ -118,14 +118,14 @@ struct ...@@ -118,14 +118,14 @@ struct
module rec Dbm : DBM = module rec Dbm : DBM =
struct struct
include Udbml_priced.PDbm include Udbml_priced.PDbm
let to_fed z = Fed.from_dbm z let to_fed z = Fed.from_dbm z
let up z r = let up z r =
let f = to_fed z in let f = to_fed z in
Fed.up f r; Fed.up f r;
f f
let update_value z c b = let update_value z c b =
let f = to_fed z in let f = to_fed z in
Fed.update_value f c b; Fed.update_value f c b;
...@@ -139,8 +139,6 @@ struct ...@@ -139,8 +139,6 @@ struct
struct struct
include Udbml_priced.PFed include Udbml_priced.PFed
let dimension _ = failwith "dimension pfed"
let to_dbm t = let to_dbm t =
let res = ref [] in let res = ref [] in
iter t (fun z -> res := z :: !res); iter t (fun z -> res := z :: !res);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment