Module Data.List.In is ignored

[andrey-komarov]

(see code in JetBrains/arend-lib#1)

File Data/List/In.vc exists in filesystem but ignored by compiler:

[OK] test.Paths
[OK] test.Hlevel
[OK] test.Data.Unit
[OK] test.Data.Empty
[OK] test.Data.Bool
[OK] test.Data.Either
[OK] test.Data.Maybe
[OK] test.Combinators
[OK] test.Data.Nat.Base
[OK] test.Data.List
[OK] test.Logic
[OK] test.Relation
[OK] test.Data.Nat.Properties
[OK] test.Data.Nat.Compare
[OK] test.Data.Vector
[OK] test.Data.Fin
[OK] test.Data.List.Properties
[OK] test.Data.Fin.Properties
[OK] test.Examples
[OK] test.Fac
[OK] test.Algebra.Semigroup

[pschuprikov]

Module loading result was misinterpreted in file processing. Fixed in e8f52cf.