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