From 4d30a1e4f1edecff86d5066ce4653a370e59e5e1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 30 Jan 2008 08:01:00 -0800 Subject: Version abc80130 --- src/bdd/cudd/cuddZddIsop.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/bdd/cudd/cuddZddIsop.c') diff --git a/src/bdd/cudd/cuddZddIsop.c b/src/bdd/cudd/cuddZddIsop.c index f4b057ea..0918461c 100644 --- a/src/bdd/cudd/cuddZddIsop.c +++ b/src/bdd/cudd/cuddZddIsop.c @@ -34,7 +34,7 @@ ******************************************************************************/ -#include "util_hack.h" +#include "util.h" #include "cuddInt.h" /*---------------------------------------------------------------------------*/ -- cgit v1.2.3