Skip to content

Commit

Permalink
Simplify comment removal in PDDL scan_tokens
Browse files Browse the repository at this point in the history
  • Loading branch information
Maumagnaguagno committed Jun 4, 2023
1 parent 3813b7a commit f819eb3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion pddl_parser/PDDL.py
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ class PDDL_Parser:
def scan_tokens(self, filename):
with open(filename) as f:
# Remove single line comments
str = re.sub(r';.*$', '', f.read(), flags=re.MULTILINE).lower()
str = re.sub(r';.*', '', f.read(), flags=re.MULTILINE).lower()
# Tokenize
stack = []
list = []
Expand Down

0 comments on commit f819eb3

Please sign in to comment.