Enable Aqua piracy tests

oscar-system · Jan 25, 2024 · d738bd9 · d738bd9
1 parent e4a5024
commit d738bd9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/test/Aqua.jl b/test/Aqua.jl
@@ -5,6 +5,5 @@ using Aqua
  Singular;
  ambiguities=false, # TODO: fix ambiguities
  unbound_args=false, # TODO: fix unbound args
- piracies=false # TODO: fix piracy
  )
 end