Switch back to regular name

stanford-centaur · Feb 20, 2025 · d3c168d · d3c168d
1 parent 9e443d3
commit d3c168d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/python/pyproject.toml b/python/pyproject.toml
@@ -7,7 +7,7 @@ requires = [
 build-backend = "setuptools.build_meta"
 
 [project]
-name = "smt-switch-test"
+name = "smt-switch"
 description = "Python bindings for the smt-switch C++ SMT solving library"
 readme = {file = "README.md", content-type = "text/markdown"}
 requires-python = ">=3.9"