-
Jean-Christophe Filliâtre authored
we look for the maximal product instead of the maximal sum (this commit also applies auto-dereference everywhere in the file)
aedb2eb0
we look for the maximal product instead of the maximal sum (this commit also applies auto-dereference everywhere in the file)