From 83adb6742eca2e1b27d027f06fbb47d3d3f46a88 Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Tue, 15 May 2018 12:17:30 -0700
Subject: [PATCH] Remove whitespace

---
 src/muz/spacer/spacer_farkas_learner.h | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/muz/spacer/spacer_farkas_learner.h b/src/muz/spacer/spacer_farkas_learner.h
index 724b18b73..0e696f4f1 100644
--- a/src/muz/spacer/spacer_farkas_learner.h
+++ b/src/muz/spacer/spacer_farkas_learner.h
@@ -24,12 +24,6 @@ Revision History:
 
 namespace spacer {
 
-
-
-
-
-
-
 class farkas_learner {
     typedef obj_hashtable<expr> expr_set;