From 48b37accf6f7b2b0afa3dad7690c282681ccf123 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 23 May 2010 12:28:29 +0200
Subject: [PATCH] verif_ehrhart.c: add missing include

---
 verif_ehrhart.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/verif_ehrhart.c b/verif_ehrhart.c
index 792c360..7ca920a 100644
--- a/verif_ehrhart.c
+++ b/verif_ehrhart.c
@@ -19,6 +19,7 @@
 
 #include <barvinok/evalue.h>
 #include <barvinok/barvinok.h>
+#include <barvinok/util.h>
 #include "verif_ehrhart.h"
 
 #undef CS   /* for Solaris 10 */
-- 
2.11.4.GIT