summaryrefslogtreecommitdiff
path: root/6/main.pl
diff options
context:
space:
mode:
Diffstat (limited to '6/main.pl')
-rw-r--r--6/main.pl6
1 files changed, 5 insertions, 1 deletions
diff --git a/6/main.pl b/6/main.pl
index d3dd76d..a65d0b6 100644
--- a/6/main.pl
+++ b/6/main.pl
@@ -1,10 +1,14 @@
+:- dynamic fw_rule/2.
+
:- use_module(bgp).
print_warnings([]).
print_warnings([W|Ws]) :- format("Warning: ~w~n", [W]), print_warnings(Ws).
print_warnings :-
- findall(W, bgp:warning(W), Ws),
+ findall(W, bgp:warning(W), BgpWs),
+ findall(W, firewall:warning(W), FwWs),
+ concat(BgpWs, FwWs, Ws),
length(Ws, L),
( L > 0
->format("Found ~w warning(s):~n", [L]),