diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-09 18:39:53 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-09 18:39:53 -0800 |
| commit | 6a48812d50bf5d513a00f25cec419cc353a1e655 (patch) | |
| tree | ccf0e8c65a1a02dd032a58024e76fb3bc9845f2d | |
| parent | e15362a816af4654075e43c76a7767255d76dbb4 (diff) | |
| download | abc-6a48812d50bf5d513a00f25cec419cc353a1e655.tar.gz abc-6a48812d50bf5d513a00f25cec419cc353a1e655.tar.bz2 abc-6a48812d50bf5d513a00f25cec419cc353a1e655.zip | |
Changed internal includes to be in quotes rather than in <>.
| -rw-r--r-- | src/aig/live/ltl_parser.c | 6 |
1 files changed, 3 insertions, 3 deletions
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 |