diff --git a/src/qe/qe_solve_plugin.cpp b/src/qe/qe_solve_plugin.cpp
index 7a4dd97f4..bbaf15325 100644
--- a/src/qe/qe_solve_plugin.cpp
+++ b/src/qe/qe_solve_plugin.cpp
@@ -18,8 +18,6 @@ Revision History:
 
 --*/
 
-#pragma once
-
 #include "ast/arith_decl_plugin.h"
 #include "ast/ast_util.h"
 #include "ast/ast_pp.h"