Remove Hecke reference

Nemocas · Sep 17, 2024 · dc52a28 · dc52a28
1 parent 5320f39
commit dc52a28
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Assertions.jl b/src/Assertions.jl
@@ -548,7 +548,7 @@ macro hassert(s, l::Int, cond)
 end
 
 function assertions(flag::Bool)
-  for s in Hecke.ASSERT_SCOPE
+  for s in ASSERT_SCOPE
     flag ? set_assertion_level(s, 8999) : set_assertion_level(s, 0)
   end
 end