23 #ifndef SPOT_LTLVISIT_REDUCE_HH
24 # define SPOT_LTLVISIT_REDUCE_HH
30 #ifndef SKIP_DEPRECATED_WARNING
31 #warning This file and its functions are deprecated. \
32 The functionality moved to ltlvisit/simplify.hh
139 #endif // SPOT_LTLVISIT_REDUCE_HH