diff --git a/src/sat/sat_aig_finder.cpp b/src/sat/sat_aig_finder.cpp
index c4a96a0f9..162ee9045 100644
--- a/src/sat/sat_aig_finder.cpp
+++ b/src/sat/sat_aig_finder.cpp
@@ -15,8 +15,6 @@
 
   --*/
 
-#pragma once;
-
 #include "sat/sat_aig_finder.h"
 
 namespace sat {
diff --git a/src/sat/sat_aig_simplifier.cpp b/src/sat/sat_aig_simplifier.cpp
index 1ae30d508..c71880869 100644
--- a/src/sat/sat_aig_simplifier.cpp
+++ b/src/sat/sat_aig_simplifier.cpp
@@ -16,8 +16,6 @@
 
   --*/
 
-#pragma once;
-
 #include "util/union_find.h"
 #include "sat/sat_aig_simplifier.h"
 #include "sat/sat_xor_finder.h"