small tweak to logic program

Signed-off-by: vsoch <vsoch@users.noreply.github.com>
buildsi · Nov 2, 2021 · a96e5e6 · a96e5e6
1 parent 52d8cff
commit a96e5e6
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/symbolator/facts/stability.lp b/symbolator/facts/stability.lp
@@ -24,7 +24,6 @@ exported_B(Symbol, Type, Register, PointerIndirections) :-
 imported_B(Symbol, Type, Register, PointerIndirections) :- 
     is_b(Symbol, Type, Register, "import", PointerIndirections).
 
-
 % Let Dependencies(Bin) be the set of binaries that binary Bin depends on. 
 % We don't have this represented yet?