From aee7a3cbc80770bb5aad7c8f587c3b12a46d8b7b Mon Sep 17 00:00:00 2001 From: Stephen Sherratt Date: Thu, 25 May 2017 14:18:15 +1000 Subject: [PATCH] manual: Remove unused import --- manual/tools/gen_invocations.py | 1 - 1 file changed, 1 deletion(-) diff --git a/manual/tools/gen_invocations.py b/manual/tools/gen_invocations.py index 5fa5cc2e0..4b67b1ab3 100755 --- a/manual/tools/gen_invocations.py +++ b/manual/tools/gen_invocations.py @@ -22,7 +22,6 @@ import argparse import operator import logging import itertools -from functools import reduce from libsel4_tools import syscall_stub_gen from lxml import etree