Commit d48ddabf authored by MARCHE Claude's avatar MARCHE Claude

avoid bench failure due to unfixed bug BTS 17184

parent 0d6e491a
......@@ -23,6 +23,7 @@ module B
clone A with type t = t
(* FIXME !
let sub (x:t) : unit = A.add x
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