isl_input.c: clean up read_disjuncts

[platform/upstream/isl.git] / isl_version.c

#include "gitversion.h"

const char *isl_version(void)
{
        return GIT_HEAD_ID"\n";
}