Skip to content

A
abc
Commit 6a48812d by Alan Mishchenko
Options

Changed internal includes to be in quotes rather than in <>.

parent e15362a8
Showing with 3 additions and 3 deletions
src/aig/live/ltl_parser.c
...@@ -22,9 +22,9 @@ ...@@ -22,9 +22,9 @@
#include <string.h> #include <string.h>
#include <assert.h> #include <assert.h>
#include <stdlib.h> #include <stdlib.h>
#include <aig.h> #include "aig.h"
#include <abc.h> #include "abc.h"
#include <mainInt.h> #include "mainInt.h"
ABC_NAMESPACE_IMPL_START ABC_NAMESPACE_IMPL_START
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment