1#ifndef CIL_WRITE_H_ 2#define CIL_WRITE_H_ 3 4#include <cil/cil.h> 5 6int cil_write_ast(struct cil_db *db, const char* path); 7#endif /* CIL_WRITE_H_ */ 8