From 666a237cbcd4a25682556ec312b83fce685a8c82 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 25 Sep 2019 09:16:03 -0700
Subject: [PATCH] z3.py

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/python/z3/z3.py | 2 --
 1 file changed, 2 deletions(-)

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
 #