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