From d0406472d6607a5aa22af1eedfdef38ef553425d Mon Sep 17 00:00:00 2001
From: Alex Wilson <alex@cooperi.net>
Date: Mon, 12 Feb 2024 12:49:48 +1000
Subject: [PATCH] define __CPROVER macros even on __sun

---
 debug.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/debug.h b/debug.h
index 19069b1..6868394 100644
--- a/debug.h
+++ b/debug.h
@@ -10,15 +10,15 @@ extern "C" {
 
 #include "utils.h"
 
-#if defined(__sun)
-#include <sys/debug.h>
-#else
-
 #if !defined(__CPROVER)
 #define __CPROVER_assume(X)	((void)(0))
 #define __CPROVER_assert(X,Y)	(0)
 #endif
 
+#if defined(__sun)
+#include <sys/debug.h>
+#else
+
 #undef VERIFY
 #undef ASSERT