diff --git a/src/ast/euf/euf_enode.cpp b/src/ast/euf/euf_enode.cpp
index a9c101afe..b481749fe 100644
--- a/src/ast/euf/euf_enode.cpp
+++ b/src/ast/euf/euf_enode.cpp
@@ -17,8 +17,6 @@ Author:
 
 #include "ast/euf/euf_enode.h"
 
-#pragma once
-
 namespace euf {
 
     void enode::invariant() {