diff --git a/manticore/native/plugins.py b/manticore/native/plugins.py index b8111633c..3e9fc5b75 100644 --- a/manticore/native/plugins.py +++ b/manticore/native/plugins.py @@ -261,4 +261,3 @@ def _dict_diff(d1, d2): for key in set(d2).difference(set(d1)): d[key] = d2[key] return d -