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"