diff --git a/icicle/src/device_api.cpp b/icicle/src/device_api.cpp
index 697a05885..534758943 100644
--- a/icicle/src/device_api.cpp
+++ b/icicle/src/device_api.cpp
@@ -61,7 +61,8 @@ namespace icicle {
     eIcicleError set_default_device(const Device& dev)
     {
       if (!is_device_registered(dev.type)) {
-        THROW_ICICLE_ERR(eIcicleError::INVALID_DEVICE, "Device type " + std::string(dev.type) + " has not been registered");
+        THROW_ICICLE_ERR(
+          eIcicleError::INVALID_DEVICE, "Device type " + std::string(dev.type) + " has not been registered");
       }
       m_default_device = dev;
       return eIcicleError::SUCCESS;
diff --git a/icicle/src/runtime.cpp b/icicle/src/runtime.cpp
index 03ab6c162..eefed8ad2 100644
--- a/icicle/src/runtime.cpp
+++ b/icicle/src/runtime.cpp
@@ -14,7 +14,10 @@ using namespace icicle;
 
 extern "C" eIcicleError icicle_set_device(const Device& device) { return DeviceAPI::set_thread_local_device(device); }
 
-extern "C" eIcicleError icicle_set_default_device(const Device& device) { return DeviceAPI::set_default_device(device); }
+extern "C" eIcicleError icicle_set_default_device(const Device& device)
+{
+  return DeviceAPI::set_default_device(device);
+}
 
 extern "C" eIcicleError icicle_get_active_device(icicle::Device& device)
 {