diff --git a/src/sat/smt/euf_ackerman.cpp b/src/sat/smt/euf_ackerman.cpp
index 0f9b2638c..5be275e58 100644
--- a/src/sat/smt/euf_ackerman.cpp
+++ b/src/sat/smt/euf_ackerman.cpp
@@ -14,7 +14,6 @@ Author:
     Nikolaj Bjorner (nbjorner) 2020-08-28
 
 --*/
-#pragma once
 
 #include "sat/smt/euf_solver.h"
 #include "sat/smt/euf_ackerman.h"