update barvinok to version 0.41.5

[ppn.git] / xml_AST.h

#include <libxml/xmlwriter.h>
#include <isl/ast.h>

void writeAST(xmlTextWriterPtr writer, __isl_keep isl_ast_node *node);