#ifndef DIVINE_STRINGS_H
#define DIVINE_STRINGS_H

namespace divine {
extern const char *cesmi_usr_cesmi_h_str;
extern const char *cesmi_usr_cesmi_cpp_str;
extern const char *cesmi_usr_ltl_cpp_str;
extern const char *cesmi_usr_ltl_h_str;
extern const char *toolkit_pool_h_str;
extern const char *toolkit_blob_h_str;
extern const char *compile_defines_str;
extern const char *llvm_usr_h_str;
extern const char *llvm_usr_pthread_h_str;
extern const char *llvm_usr_pthread_cpp_str;
extern const char *llvm_usr_glue_cpp_str;
extern const char *llvm_usr_atomic_h_str;
extern const char *llvm_usr_cxa_exception_cpp_str;
extern const char *llvm_usr_unwind_h_str;
}

#endif
