diff --git a/src/aig/live/ltl_parser.c b/src/aig/live/ltl_parser.c
index 58125818d..de113ba79 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