From a750c94c38f5c291b27d36794882e92ec20349c5 Mon Sep 17 00:00:00 2001
From: Henner Zeller <hzeller@google.com>
Date: Wed, 13 Nov 2024 13:05:01 -0800
Subject: [PATCH] Include stdlib.h for `abort()`

---
 libs/ezsat/demo_cmp.cc | 2 +-
 libs/ezsat/demo_vec.cc | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/libs/ezsat/demo_cmp.cc b/libs/ezsat/demo_cmp.cc
index 7b927c664..28ddd98ba 100644
--- a/libs/ezsat/demo_cmp.cc
+++ b/libs/ezsat/demo_cmp.cc
@@ -19,6 +19,7 @@
 
 #include "ezminisat.h"
 #include <assert.h>
+#include <stdlib.h>
 
 #define INIT_X 123456789
 #define INIT_Y 362436069
@@ -143,4 +144,3 @@ int main()
 	}
 	return 0;
 }
-
diff --git a/libs/ezsat/demo_vec.cc b/libs/ezsat/demo_vec.cc
index a13430d55..706529a5f 100644
--- a/libs/ezsat/demo_vec.cc
+++ b/libs/ezsat/demo_vec.cc
@@ -19,6 +19,7 @@
 
 #include "ezminisat.h"
 #include <assert.h>
+#include <stdlib.h>
 
 #define INIT_X 123456789
 #define INIT_Y 362436069
@@ -109,4 +110,3 @@ int main()
 
 	return 0;
 }
-