From 6a48812d50bf5d513a00f25cec419cc353a1e655 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 9 Mar 2011 18:39:53 -0800
Subject: Changed internal includes to be in quotes rather than in <>.

---
 src/aig/live/ltl_parser.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/aig')

diff --git a/src/aig/live/ltl_parser.c b/src/aig/live/ltl_parser.c
index 58125818..de113ba7 100644
--- a/src/aig/live/ltl_parser.c
+++ b/src/aig/live/ltl_parser.c
@@ -22,9 +22,9 @@
 #include <string.h>
 #include <assert.h>
 #include <stdlib.h>
-#include <aig.h>
-#include <abc.h>
-#include <mainInt.h>
+#include "aig.h"
+#include "abc.h"
+#include "mainInt.h"
 
 ABC_NAMESPACE_IMPL_START
 
-- 
cgit v1.2.3