Skip to content

Commit

Permalink
Merge pull request #277 from GaloGS/patch-1
Browse files Browse the repository at this point in the history
Update count_patterns.py
  • Loading branch information
mgalardini authored Sep 3, 2024
2 parents ec5fa6f + 5a6d4c1 commit 9f44c1f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/count_patterns.py
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ def get_options():
from decimal import Decimal

command = "LC_ALL=C sort -u "
if options.cores > 1:
if int(options.cores) > 1:
command += "--parallel=" + str(options.cores)
command += (" -S " + str(int(options.memory) - mem_adjust) + "M" +
" -T " + options.temp +
Expand Down

0 comments on commit 9f44c1f

Please sign in to comment.