summaryrefslogtreecommitdiff
path: root/src/options/logic_info_forward.h
blob: 8c31a3675fc347899241efd918baede873b4f806 (plain) 
1
2
3
4
5
6
7
8
9


#ifndef __CVC4__OPTIONS_LOGIC_INFO_FORWARD_H
#define __CVC4__OPTIONS_LOGIC_INFO_FORWARD_H

namespace CVC4 {
class LogicInfo;
}/* CVC4 namespace */

#endif /* __CVC4__OPTIONS_LOGIC_INFO_FORWARD_H */
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback