two typos in dime_ctx.h
rillig opened this issue · comments
- line 70:
LOG_INFO
should useLOG_LEVEL_INFO
- line 78:
LOG_ERROR
should useLOG_LEVEL_ERROR
The DIME resolver library and command line utilities.
rillig opened this issue · comments
LOG_INFO
should use LOG_LEVEL_INFO
LOG_ERROR
should use LOG_LEVEL_ERROR