This commit is contained in:
Simon Cruanes 2019-12-10 21:52:57 -06:00
parent 9a672f4e3c
commit 62672fdbd2

View file

@ -729,7 +729,7 @@ include Infix
(* test consistency of interfaces *) (* test consistency of interfaces *)
(*$inject (*$inject
module FA = CCShims_.Stdlib.Array.Floatarray module FA = Array.Floatarray
module type L = module type of CCArray with module Floatarray := FA module type L = module type of CCArray with module Floatarray := FA
module type LL = module type of CCArrayLabels with module Floatarray := FA module type LL = module type of CCArrayLabels with module Floatarray := FA
*) *)