diff --git a/src/ast/char_decl_plugin.cpp b/src/ast/char_decl_plugin.cpp
index 88e1778d1..848c78ead 100644
--- a/src/ast/char_decl_plugin.cpp
+++ b/src/ast/char_decl_plugin.cpp
@@ -15,8 +15,6 @@ Author:
 
 
 --*/
-#pragma once
-
 #include "util/gparams.h"
 #include "ast/char_decl_plugin.h"
 #include "ast/ast_pp.h"