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"