From fb1f4f3a2caaa144a3ef8ff254e0ca87ad0308e8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 27 Jan 2023 18:03:06 -0800
Subject: [PATCH] add pragma

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/interval/mod_interval.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/math/interval/mod_interval.h b/src/math/interval/mod_interval.h
index 88acdd8d6..ed189fe7b 100644
--- a/src/math/interval/mod_interval.h
+++ b/src/math/interval/mod_interval.h
@@ -15,6 +15,8 @@ Author:
 
 --*/
 
+#pragma once
+
 namespace bv {
 
     template<typename T, typename Base>