Merge pull request #2 from pinkit-cwa/patch-1

added missing #include
This commit is contained in:
Patrick Rathje 2020-08-18 21:23:40 +02:00 committed by GitHub
commit bd01478bd8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -15,6 +15,7 @@
#include <inttypes.h>
#include <bluetooth/hci.h>
#include <zephyr/types.h>
#include <random/rand32.h>
#include "exposure-notification.h"
#include "covid_types.h"