From 842e9234c9067a6d6aaf3652f0e531e518b91daa Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 14 Dec 2021 14:38:12 -0800 Subject: [PATCH] remove pragma --- src/math/polysat/mul_ovfl_constraint.cpp | 1 - src/math/polysat/shr_constraint.cpp | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/src/math/polysat/mul_ovfl_constraint.cpp b/src/math/polysat/mul_ovfl_constraint.cpp index bfe7701f6..cd81da438 100644 --- a/src/math/polysat/mul_ovfl_constraint.cpp +++ b/src/math/polysat/mul_ovfl_constraint.cpp @@ -10,7 +10,6 @@ Author: Jakob Rath, Nikolaj Bjorner (nbjorner) 2021-12-09 --*/ -#pragma once #include "math/polysat/mul_ovfl_constraint.h" #include "math/polysat/solver.h" diff --git a/src/math/polysat/shr_constraint.cpp b/src/math/polysat/shr_constraint.cpp index 1b22069bc..17e336c5a 100644 --- a/src/math/polysat/shr_constraint.cpp +++ b/src/math/polysat/shr_constraint.cpp @@ -10,7 +10,7 @@ Author: Jakob Rath, Nikolaj Bjorner (nbjorner) 2021-12-09 --*/ -#pragma once + #include "math/polysat/shr_constraint.h" #include "math/polysat/solver.h"