fix formatting

ftsrg · Oct 20, 2024 · 0973516 · 0973516
1 parent 8d6091f
commit 0973516
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/main.py b/main.py
@@ -13,6 +13,7 @@
     See the License for the specific language governing permissions and
     limitations under the License.
 """
+
 import os
 import re
 import subprocess

diff --git a/tweaks.py b/tweaks.py
@@ -13,6 +13,7 @@
     See the License for the specific language governing permissions and
     limitations under the License.
 """
+
 from pycparser.c_ast import FuncDef, Decl, Struct, TypeDecl
 
 

diff --git a/witness2ast.py b/witness2ast.py
@@ -13,6 +13,7 @@
     See the License for the specific language governing permissions and
     limitations under the License.
 """
+
 import networkx as nx
 from pycparser.c_ast import (
     Compound,
-Original file line number
+Diff line change
@@ Expand Up / @@ -13,6 +13,7 @@ @@
         See the License for the specific language governing permissions and
         limitations under the License.
     """
     from pycparser.c_ast import FuncDef, Decl, Struct, TypeDecl
@@ Expand Down @@