From 77cbd89420b08db8fb4a276d584c682b6dc7935f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 18 Oct 2022 14:57:49 -0700
Subject: [PATCH] remove once pragma from cpp file

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

diff --git a/src/sat/smt/bv_theory_checker.cpp b/src/sat/smt/bv_theory_checker.cpp
index 9e4418a96..96663c796 100644
--- a/src/sat/smt/bv_theory_checker.cpp
+++ b/src/sat/smt/bv_theory_checker.cpp
@@ -17,7 +17,6 @@ Notes:
 
 
 --*/
-#pragma once
 
 #include "sat/smt/euf_solver.h"
 #include "sat/smt/bv_theory_checker.h"