ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Update platform/source/mbed_os_timer.cpp 

fix the typo

Co-authored-by: Lingkai Dong <lingkai.dong@arm.com>
pull/13459/head
Martin Kojtal 2020-08-21 14:55:58 +01:00 committed by GitHub
parent a6ce2c53a0
commit 2c18e93979
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
platform/source/mbed_os_timer.cpp
View File

@ -17,7 +17,7 @@
#include "platform/mbed_power_mgmt.h"
#include "platform/CriticalSectionLock.h"
#include "paltform/internal/SysTimer.h"
#include "platform/internal/SysTimer.h"
#include "platform/internal/mbed_os_timer.h"
#include "us_ticker_api.h"
#include "lp_ticker_api.h"