summaryrefslogtreecommitdiffstats
path: root/src/proof/bbr
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-07-07 20:14:12 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-07-07 20:14:12 -0700
commit1c33107cbb50705272682c2637d8faaeab4be61a (patch)
tree188bb58cb82f744407af2ee78b38a7aa37fd9336 /src/proof/bbr
parentb0ef0aaf0055d35f3836be18997dfd350e36054d (diff)
downloadabc-1c33107cbb50705272682c2637d8faaeab4be61a.tar.gz
abc-1c33107cbb50705272682c2637d8faaeab4be61a.tar.bz2
abc-1c33107cbb50705272682c2637d8faaeab4be61a.zip
Updating project settings to have simpler include paths.
Diffstat (limited to 'src/proof/bbr')
-rw-r--r--src/proof/bbr/bbr.h6
-rw-r--r--src/proof/bbr/bbrImage.c2
2 files changed, 4 insertions, 4 deletions
diff --git a/src/proof/bbr/bbr.h b/src/proof/bbr/bbr.h
index 71061759..1db638e8 100644
--- a/src/proof/bbr/bbr.h
+++ b/src/proof/bbr/bbr.h
@@ -27,9 +27,9 @@
////////////////////////////////////////////////////////////////////////
#include <stdio.h>
-#include "src/aig/aig/aig.h"
-#include "src/aig/saig/saig.h"
-#include "src/bdd/cudd/cuddInt.h"
+#include "aig/aig/aig.h"
+#include "aig/saig/saig.h"
+#include "bdd/cudd/cuddInt.h"
////////////////////////////////////////////////////////////////////////
/// PARAMETERS ///
diff --git a/src/proof/bbr/bbrImage.c b/src/proof/bbr/bbrImage.c
index 23b43169..1ff3d0b6 100644
--- a/src/proof/bbr/bbrImage.c
+++ b/src/proof/bbr/bbrImage.c
@@ -19,7 +19,7 @@
***********************************************************************/
#include "bbr.h"
-#include "src/bdd/mtr/mtr.h"
+#include "bdd/mtr/mtr.h"
ABC_NAMESPACE_IMPL_START