diff --git a/vcd/reader.py b/vcd/reader.py index 10ee37c..cd8b1a9 100644 --- a/vcd/reader.py +++ b/vcd/reader.py @@ -413,6 +413,8 @@ def take_simple_identifier(self) -> List[int]: or c == 46 # '.' not in spec, but seen in the wild or c == 40 # '(' - produced by cva6 core or c == 41 # ')' - produced by cva6 core + or c == 91 # '[' seen in the wild + or c == 93 # ']' seen in the wild ): identifier.append(c) c = self.advance(raise_on_eof=False)