diff options
| author | Luca Deri <deri@ntop.org> | 2018-08-16 12:03:23 +0200 |
|---|---|---|
| committer | Luca Deri <deri@ntop.org> | 2018-08-16 12:03:23 +0200 |
| commit | 18b9589e50894e4b9bd0d25c185c1a1631add862 (patch) | |
| tree | f2331328cdcfb1ff8c28f4669bf9cc37a3114269 /src/lib | |
| parent | 9847c2ccbbe3db62b39249126fb5c86298f37c9d (diff) | |
| parent | 335b3369689f8c338f9d7680490f500279ce9bba (diff) | |
Merge branch 'dev' of https://github.com/ntop/nDPI into dev
Diffstat (limited to 'src/lib')
| -rw-r--r-- | src/lib/ndpi_main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lib/ndpi_main.c b/src/lib/ndpi_main.c index 164481cc4..494c93bd0 100644 --- a/src/lib/ndpi_main.c +++ b/src/lib/ndpi_main.c @@ -47,7 +47,7 @@ #include "third_party/src/hash.c" #ifdef HAVE_HYPERSCAN -#include <hs.h> +#include <hs/hs.h> #endif #ifdef HAVE_HYPERSCAN |