From a35d00e4c4b6df2d3dedc2a4357275c68ff2d651 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 29 Aug 2020 12:56:21 -0700
Subject: [PATCH] remove pragma

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/smt/euf_ackerman.cpp | 1 -
 1 file changed, 1 deletion(-)

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"