diff options
| -rw-r--r-- | tools/verification/rvgen/rvgen/ltl2k.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/verification/rvgen/rvgen/ltl2k.py b/tools/verification/rvgen/rvgen/ltl2k.py index b8ac584fe250..81fd1f5ea5ea 100644 --- a/tools/verification/rvgen/rvgen/ltl2k.py +++ b/tools/verification/rvgen/rvgen/ltl2k.py @@ -75,7 +75,7 @@ class ltl2k(generator.Monitor): if not self.name: self.name = Path(file_path).stem - def _fill_states(self) -> str: + def _fill_states(self) -> list[str]: buf = [ "enum ltl_buchi_state {", ] |