diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index ed24c8c79..fb84b22a5 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -1,5 +1,3 @@
-
-
 ############################################
 # Copyright (c) 2012 Microsoft Corporation
 #