From 67ea2a2c88ae804b4a276cddf65d123f401c833b Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 20 Nov 2018 09:52:43 -0800
Subject: [PATCH] test

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/util/lp/gomory.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/util/lp/gomory.h b/src/util/lp/gomory.h
index b7946d6b0..acb5f04fd 100644
--- a/src/util/lp/gomory.h
+++ b/src/util/lp/gomory.h
@@ -14,8 +14,6 @@ Author:
     Lev Nachmanson (levnach)
 
 Revision History:
-
-
 --*/
 #pragma once
 #include "util/lp/lar_term.h"