Commit 8724574f authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Fix duplication of labels definitions

parent 587e472f
......@@ -13,7 +13,7 @@
| [] -> [k]
| k' :: l when k < k' -> k :: k' :: l
| k' :: l when k = k' -> k :: l
| k' :: l -> k' :: k :: l
| k' :: l -> k' :: (insert1 k l)
let label l =
let l' = Label l in
......
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