From e6e635b2e8edc016d4f7aebe6b3e378ea40c7a10 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Wed, 26 Aug 2020 22:56:14 +0100
Subject: [PATCH] remove unneeded pragma

---
 src/ast/euf/euf_enode.cpp | 2 --
 1 file changed, 2 deletions(-)

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