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