forgot some underscores...

runtimeverification · Jul 18, 2024 · 3e4b064 · 3e4b064
1 parent 8bd8cd1
commit 3e4b064
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kmxwasm/src/kmxwasm/tools.py b/kmxwasm/src/kmxwasm/tools.py
@@ -114,7 +114,7 @@ def explorer(self) -> KCFGExplore:
                 'localhost',
                 self.__kore_server.port,
                 bug_report=self.__bug_report,
-                bug_report_id='kasmer' if self.bug_report is not None else None,
+                bug_report_id='kasmer' if self.__bug_report is not None else None,
             )
 
         if not self.__explorer: