From f25fa7b132ef08431455075dadcf1823a5796dba Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 13 Feb 2017 18:02:32 +0100
Subject: Seems to work reasonably well.

---
 src/pervasive.h | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/pervasive.h')

diff --git a/src/pervasive.h b/src/pervasive.h
index d7b213f..fccc75b 100644
--- a/src/pervasive.h
+++ b/src/pervasive.h
@@ -6,9 +6,11 @@
 #define ZoO_SERVER_VERSION    1
 #define ZoO_PROTOCOL_VERSION  1
 
-//#define ZoO_RUNNING_FRAMA_C   1
+#ifdef __FRAMAC__
+   #define ZoO_RUNNING_FRAMA_C 1
+#endif
 
-#define ZoO_DEBUG_ALL 1
+#define ZoO_DEBUG_ALL 0
 
 #ifndef ZoO_DEBUG_ALL
    #define ZoO_DEBUG_ALL 0
-- 
cgit v1.2.3-70-g09d2