From 9be1b076934b0410689c857cd71ef7d21a714b5f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 6 Sep 2007 08:01:00 -0700 Subject: Version abc70906 --- src/aig/rwt/rwt.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/aig/rwt') diff --git a/src/aig/rwt/rwt.h b/src/aig/rwt/rwt.h index 42a57ad6..9199ff2a 100644 --- a/src/aig/rwt/rwt.h +++ b/src/aig/rwt/rwt.h @@ -30,6 +30,7 @@ extern "C" { //////////////////////////////////////////////////////////////////////// #include "mem.h" +#include "extra.h" #include "vec.h" //////////////////////////////////////////////////////////////////////// -- cgit v1.2.3