Commit e793c76b authored by Bruno Guillaume's avatar Bruno Guillaume

change filter type

parent 61706c86
......@@ -148,7 +148,7 @@ let current_features = ref []
let get_current_filter () =
match (!filter_features, !current_features) with
| (false, _) -> None
| (true, l) -> Some (List.map fst (List.filter snd l))
| (true, l) -> Some (fun feat -> try List.assoc feat l with Not_found -> true)
let feat_set label value =
let rec loop = function
......
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