Commit d613834a authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Remove dependency of demos/brz/TestGen on containers. (Contributed by Gabriel Radanne.)

parent 25500f7d
......@@ -20,8 +20,16 @@ module B =
open B
let remove l x =
let rec remove' x acc l = match l with
| [] -> List.rev acc
| y :: tail when Char.equal x y -> remove' x acc tail
| y :: tail -> remove' x (y::acc) tail
remove' x [] l
let compl l =
List.fold_left (fun l x -> CCList.remove ~eq:Char.equal ~x l) alphabet l
List.fold_left remove alphabet l
let set b l = disjunction ( char (if b then l else compl l))
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