tree 7f77da4625b974e7d05ee2778bd64fd059024653
parent 0b9ca1159b0c3797cd77c2439b5a81576d49ac9a
author Antonio Sánchez <cantonios@google.com> 1708042317 +0000
committer Rasmus Munk Larsen <rmlarsen@google.com> 1708042317 +0000

Use traits<Matrix>::Options instead of Matrix::Options.