From 56584922e9aa073a97ed65fe71b7364989ae9702 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 15 Mar 2020 01:32:28 -0700 Subject: [PATCH] if it isn't used, it isn't templatized Signed-off-by: Nikolaj Bjorner --- src/math/lp/nla_core.cpp | 9 +-------- src/math/lp/nla_core.h | 11 ++--------- 2 files changed, 3 insertions(+), 17 deletions(-) diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp index 99a27d5da..71b5f6f7a 100644 --- a/src/math/lp/nla_core.cpp +++ b/src/math/lp/nla_core.cpp @@ -3,19 +3,12 @@ Copyright (c) 2017 Microsoft Corporation Module Name: - - -Abstract: - - + nla_core.cpp Author: Nikolaj Bjorner (nbjorner) Lev Nachmanson (levnach) -Revision History: - - --*/ #include "math/lp/nla_core.h" #include "math/lp/factorization_factory_imp.h" diff --git a/src/math/lp/nla_core.h b/src/math/lp/nla_core.h index 74d8404e0..633518be5 100644 --- a/src/math/lp/nla_core.h +++ b/src/math/lp/nla_core.h @@ -3,20 +3,13 @@ Module Name: - - - Abstract: - - + nla_core.h Author: Nikolaj Bjorner (nbjorner) Lev Nachmanson (levnach) - Revision History: - - - --*/ +--*/ #pragma once #include "math/lp/factorization.h" #include "math/lp/lp_types.h"