Lint

apache · Nov 19, 2019 · c9629a8 · c9629a8
1 parent f110656
commit c9629a8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/runtime/micro/micro_section_allocator.h b/src/runtime/micro/micro_section_allocator.h
@@ -77,7 +77,8 @@ class MicroSectionAllocator {
    * \note simple allocator scheme, more complex versions will be implemented later
    */
   void Free(DevPtr addr) {
-    CHECK(alloc_map_.find(addr.value().val64) != alloc_map_.end()) << "freed pointer was never allocated";
+    CHECK(alloc_map_.find(addr.value().val64) != alloc_map_.end())
+      << "freed pointer was never allocated";
     alloc_map_.erase(addr.value().val64);
     if (alloc_map_.empty()) {
       size_ = 0;