From b8532bec7eb60188dcee188f8c7cefb5e0dcd7b5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 28 May 2022 14:48:38 -0700
Subject: [PATCH] remove pragma from cpp file

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

diff --git a/src/opt/opt_preprocess.cpp b/src/opt/opt_preprocess.cpp
index d3475fcb0..886d7fbb0 100644
--- a/src/opt/opt_preprocess.cpp
+++ b/src/opt/opt_preprocess.cpp
@@ -30,7 +30,6 @@ Notes:
 
 --*/
 
-#pragma once
 
 #include "opt/opt_preprocess.h"
 #include "util/max_cliques.h"