FTheory: Reenable tests

oscar-system · Aug 8, 2023 · 0dbefb8 · 0dbefb8
1 parent 9971e01
commit 0dbefb8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/experimental/FTheoryTools/test/runtests.jl b/experimental/FTheoryTools/test/runtests.jl
@@ -1,5 +1,5 @@
 using Test
 using Oscar
-#= set_verbosity_level(:FTheoryConstructorInformation, -1)
+set_verbosity_level(:FTheoryConstructorInformation, -1)
 include("weierstrass.jl")
-include("tate.jl") =#
+include("tate.jl")