Skip to content

Commit

Permalink
Revert "add pwd output"
Browse files Browse the repository at this point in the history
This reverts commit 6313754.
  • Loading branch information
SimonDold committed Mar 13, 2024
1 parent 6313754 commit d1ff2b3
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion misc/style/check-parameter-order.py
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,6 @@ def matching(opening, closing):
return (opening, closing) == ('(', ')') or (opening, closing) == ('[', ']')

def extract_feature_parameter_list(feature_name):
print(str(subprocess.run(["pwd"], stdout=subprocess.PIPE).stdout))
s = str(subprocess.run(["./../../builds/release/bin/downward", "--help", "--txt2tags", "{}".format(feature_name)], stdout=subprocess.PIPE).stdout)
position = s.find(feature_name + "(")
assert position != -1
Expand Down

0 comments on commit d1ff2b3

Please sign in to comment.