Commit 86d2e944 authored by MARCHE Claude's avatar MARCHE Claude

avoid bench failure due to unfixed bug BTS 17184

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