From bd27c748fa88c788d6924c7397a431f75522854a Mon Sep 17 00:00:00 2001 From: Markus Kurtz Date: Thu, 23 Feb 2023 10:58:49 +0100 Subject: [PATCH] Change syntax to make Revise.jl happy Work around timholy/Revise.jl#735 --- src/Matrix.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Matrix.jl b/src/Matrix.jl index e404d5ee9d..afd48df428 100644 --- a/src/Matrix.jl +++ b/src/Matrix.jl @@ -124,14 +124,14 @@ end Return the number of rows of the given matrix. """ -nrows(::MatrixElem{T}) where T <: NCRingElement +nrows(a::MatrixElem{T}) where T <: NCRingElement @doc Markdown.doc""" ncols(a::MatrixElem{T}) where T <: NCRingElement Return the number of columns of the given matrix. """ -ncols(::MatrixElem{T}) where T <: NCRingElement +ncols(a::MatrixElem{T}) where T <: NCRingElement @doc Markdown.doc""" length(a::MatrixElem{T}) where T <: NCRingElement