From 5361c1596098573ec2dc8d40cb3e8a9df8a505d2 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Fri, 11 Nov 2016 22:50:11 +0100
Subject: [PATCH] set use_xerces in storm-config.h

Former-commit-id: f9ffefbdf6dbb90e9841b2125344439c9dfff6ea [formerly fedc1df86fef852ec77f0a99522163863df23c8a]
Former-commit-id: b60b949a528cd87424cf6a0c4d6b87a43c9ce1b0
---
 storm-config.h.in | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/storm-config.h.in b/storm-config.h.in
index effb49ade..18d8ee86e 100644
--- a/storm-config.h.in
+++ b/storm-config.h.in
@@ -46,6 +46,8 @@
 
 #cmakedefine STORM_USE_CLN_NUMBERS
 
+#cmakedefine USE_XERCES
+
 // Whether smtrat is available and to be used. 
 #cmakedefine STORM_HAVE_SMTRAT