From 576babae91739be0824bb71ba6e224abd0878049 Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jslaby@suse.cz>
Date: Thu, 29 Sep 2016 10:26:25 +0200
Subject: configure: run AutoRegen.sh

The previous change altered .ac files, regenerate the scripts.

Signed-off-by: Jiri Slaby <jslaby@suse.cz>
---
 include/klee/Config/config.h.in | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'include')

diff --git a/include/klee/Config/config.h.in b/include/klee/Config/config.h.in
index 87d6ee75..76d391e4 100644
--- a/include/klee/Config/config.h.in
+++ b/include/klee/Config/config.h.in
@@ -72,6 +72,9 @@
 /* Define to 1 if you have the <zlib.h> header file. */
 #undef HAVE_ZLIB_H
 
+/* Enable time stamping the sources */
+#undef KLEE_ENABLE_TIMESTAMP
+
 /* Define to empty or 'const' depending on how SELinux qualifies its security
    context parameters. */
 #undef KLEE_SELINUX_CTX_CONST
-- 
cgit 1.4.1