Skip to content

Commit

Permalink
Merge branch 'dev-setuptools'. Close #193. Close #185.
Browse files Browse the repository at this point in the history
  • Loading branch information
ivanperez-keera committed Nov 4, 2023
2 parents da4a4bf + 30b3da2 commit da3fb8c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion analyzer/python/setup.py.in
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@
# UNILATERAL TERMINATION OF THIS AGREEMENT.
#
################################################################################
from distutils.core import setup
from setuptools import setup

setup(name='ikos',
version='@PACKAGE_VERSION@',
Expand Down

0 comments on commit da3fb8c

Please sign in to comment.