diff --git a/src/sat/smt/bv_theory_checker.cpp b/src/sat/smt/bv_theory_checker.cpp
index 9e4418a96..96663c796 100644
--- a/src/sat/smt/bv_theory_checker.cpp
+++ b/src/sat/smt/bv_theory_checker.cpp
@@ -17,7 +17,6 @@ Notes:
 
 
 --*/
-#pragma once
 
 #include "sat/smt/euf_solver.h"
 #include "sat/smt/bv_theory_checker.h"