examples/bts/17137.mlw

   1
   2 theory A type t 'a end
   3 theory B
   4 clone export A
   5 clone export A with type t 'a = t 'a
   6 end
   7 theory C
   8 clone export A
   9 clone export B with type t 'a = t 'a (* Error reported on this line *)
  10 end