ENGO150/WHY2
Template
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Activity

added logger header into why2.h

Browse Source
This commit is contained in:
Václav Šmejkal 2022-11-18 17:30:21 +01:00
parent d47bf0b56a
commit ed19479e21
No known key found for this signature in database
GPG Key ID: FD749A97DF2D5E19
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
include/why2.h
View File

@ -12,4 +12,6 @@
#include <why2/flags.h>
#include <why2/misc.h>
#include <why2/logger/logger.h>
#endif