Nicolas Pouillard wrote:
> Excerpts from Hugo Ferreira's message of Fri Nov 14 09:12:44 +0100 2008:
>> Hello,
>...
src/ml_cudd.p.native": use_cudd, use_gmp, use_bigarray
>>
>> Isn't
>>
>> "src/ml_cudd.{d.byte,d.native}"
>>
>> equivalent to:
>>
>> "src/ml_cudd.d.byte": use_cudd, use_gmp, use_bigarray
>> "src/ml_cudd.p.native": use_cudd, use_gmp, use_bigarray
>>
>> If not, why?
> 
> "..." are for constants and <...> are for globbings.
> 
> So "src/ml_cudd.{d.byte,p.native}" should be written
> <src/ml_cudd.{d.byte,p.native}>
> 

Thank you.

H,.F.

> Best regards,
>