Fix import

thofma · Sep 21, 2023 · 55ae7af · 55ae7af
1 parent 4003bb9
commit 55ae7af
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Sparse/Solve.jl b/src/Sparse/Solve.jl
@@ -1,3 +1,5 @@
+import Nemo: can_solve, can_solve_with_solution
+
 function can_solve_ut(A::SMat{T}, g::SRow{T}) where T <: Union{FieldElem, zzModRingElem}
   # Works also for non-square matrices
   #@hassert :HNF 1  ncols(A) == nrows(A)