seinfoflow: Whitespace fix.

This commit is contained in:
Chris PeBenito 2019-02-23 23:21:30 -08:00
parent 2c133a6831
commit 5aa99044d7

View File

@ -103,6 +103,7 @@ try:
m = setools.PermissionMap(args.map)
g = setools.InfoFlowAnalysis(p, m, min_weight=args.min_weight, exclude=args.exclude,
booleans=booleans)
if args.shortest_path or args.all_paths:
if args.shortest_path:
paths = g.all_shortest_paths(args.source, args.target)