25 #ifndef SPOT_LTLVISIT_REDUCE_HH
26 # define SPOT_LTLVISIT_REDUCE_HH
32 #ifndef SKIP_DEPRECATED_WARNING
33 #warning This file and its functions are deprecated. \
34 The functionality moved to ltlvisit/simplify.hh
141 #endif // SPOT_LTLVISIT_REDUCE_HH