From 8a5d681c16ef700b5948dc5b00e2807ac67f1434 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Wed, 2 Jan 2019 20:50:53 -0700
Subject: [PATCH] temp fix

---
 src/include/deepstate/DeepState.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h
index ef57123..8bc925e 100644
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -48,8 +48,10 @@
 #define assume DeepState_Assume
 #define check DeepState_Check
 
+#ifdef DEEPSTATE_TAKEOVER_RAND
 #define rand DeepState_Int
 #define srand DeepState_Warn_srand
+#endif
 
 #define MAYBE(...) \
     if (DeepState_Bool()) { \