Merge branch 'dev-fix-pygments'. Close #264.

NASA-SW-VnV · Apr 1, 2024 · 39a88c0 · 39a88c0
2 parents fcca375 + 55998a9
commit 39a88c0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/analyzer/python/ikos/highlight.py b/analyzer/python/ikos/highlight.py
@@ -56,14 +56,14 @@ def __init__(self):
     def get_style_defs(self, cl):
         return ''
 
-    def wrap(self, src, out):
+    def wrap(self, src):
         pass
 
 
 def dummy_highlight(data, lexer, formatter):
     lines = ((1, html.escape(line)) for line in data.split('\n'))
     code = ''
-    for _, line in formatter.wrap(lines, None):
+    for _, line in formatter.wrap(lines):
         code += line
     return code
 

diff --git a/analyzer/python/ikos/view.py b/analyzer/python/ikos/view.py
@@ -422,7 +422,7 @@ def __init__(self, file):
         self.call_contexts = {}
         self.checks = {}
 
-    def wrap(self, source, outfile):
+    def wrap(self, source):
         return self._wrap_code(source)
 
     def _wrap_code(self, source):