From 086b97701b8532e4d0a80c406cb2d08012ce5be2 Mon Sep 17 00:00:00 2001
From: Oscar Benjamin <oscar.j.benjamin@gmail.com>
Date: Mon, 19 Dec 2022 12:16:06 +0000
Subject: [PATCH] restore setup.py

---
 setup.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 8e820784..75c59249 100644
--- a/setup.py
+++ b/setup.py
@@ -70,7 +70,8 @@
 setup(
     name='python-flint',
     cmdclass={'build_ext': build_ext},
-    ext_modules=cythonize(ext_modules, compiler_directives=compiler_directives, annotate=True),
+    ext_modules=cythonize(ext_modules, compiler_directives=compiler_directives),
+    #ext_modules=cythonize(ext_modules, compiler_directives=compiler_directives, annotate=True),
     packages=['flint'],
     package_dir={'': 'src'},
     description='Bindings for FLINT and Arb',