cvc4-1.3
cvc4parser_public.h
Go to the documentation of this file.
1 /********************* */
19 #ifndef __CVC4PARSER_PUBLIC_H
20 #define __CVC4PARSER_PUBLIC_H
21 
22 #include "cvc4_public.h"
23 
24 #endif /* __CVC4PARSER_PUBLIC_H */
Macros that should be defined everywhere during the building of the libraries and driver binary...