Add imports

thofma · Sep 17, 2024 · ca75631 · ca75631
1 parent 83c5b66
commit ca75631
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/src/Hecke.jl b/src/Hecke.jl
@@ -77,6 +77,18 @@ import AbstractAlgebra: get_cached!, @alias
 
 import AbstractAlgebra: pretty, Lowercase, LowercaseOff, Indent, Dedent, terse, is_terse
 
+import AbstractAlgebra:
+  add_assertion_scope,
+  add_verbosity_scope,
+  assertions,
+  clearindent,
+  get_assertion_level,
+  get_verbosity_level,
+  popindent,
+  pushindent,
+  set_assertion_level,
+  set_verbosity_level
+
 import AbstractAlgebra: Solve
 
 import LinearAlgebra: dot, nullspace, rank, ishermitian