Fixing pip package

meelgroup · Mar 6, 2023 · 4b351e4 · 4b351e4
1 parent 815c331
commit 4b351e4
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/setup.py b/setup.py
@@ -39,9 +39,6 @@ def _parse_toml(pyproject_path):
 
 picosatlib = ('picosatlib', {
     'sources': [
-               "python/cryptominisat/src/picosat/picogcnf.c",
-               "python/cryptominisat/src/picosat/picomcs.c",
-               "python/cryptominisat/src/picosat/picomus.c",
                "python/cryptominisat/src/picosat/picosat.c",
                "python/cryptominisat/src/picosat/version.c"],
     'language' : "c",