Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard.
Fork of mbed-rtos by
Diff: rtos/RtosTimer.cpp
- Revision:
- 124:58563e6cba1e
- Parent:
- 120:19af2d39a542
--- a/rtos/RtosTimer.cpp Wed Nov 09 12:22:14 2016 -0600 +++ b/rtos/RtosTimer.cpp Mon Nov 14 17:14:42 2016 -0600 @@ -19,13 +19,13 @@ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE * SOFTWARE. */ -#include "RtosTimer.h" +#include "rtos/RtosTimer.h" #include <string.h> #include "mbed.h" #include "cmsis_os.h" -#include "mbed_error.h" +#include "platform/mbed_error.h" namespace rtos {