From 1c33107cbb50705272682c2637d8faaeab4be61a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 Jul 2012 20:14:12 -0700 Subject: Updating project settings to have simpler include paths. --- src/opt/nwk/nwk.h | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'src/opt/nwk/nwk.h') diff --git a/src/opt/nwk/nwk.h b/src/opt/nwk/nwk.h index 79c7bb1a..e7e43b91 100644 --- a/src/opt/nwk/nwk.h +++ b/src/opt/nwk/nwk.h @@ -26,14 +26,14 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/aig/aig/aig.h" -#include "src/aig/hop/hop.h" -#include "src/misc/tim/tim.h" -#include "src/map/if/if.h" -#include "src/bool/bdc/bdc.h" - -#include "src/proof/fra/fra.h" -#include "src/proof/ssw/ssw.h" +#include "aig/aig/aig.h" +#include "aig/hop/hop.h" +#include "misc/tim/tim.h" +#include "map/if/if.h" +#include "bool/bdc/bdc.h" + +#include "proof/fra/fra.h" +#include "proof/ssw/ssw.h" #include "ntlnwk.h" //////////////////////////////////////////////////////////////////////// -- cgit v1.2.3