From a57af224ddf3500a3a6b8d102b5944e636960b80 Mon Sep 17 00:00:00 2001
From: Anthony Platanios <e.a.platanios@gmail.com>
Date: Sat, 13 Apr 2019 11:31:03 -0400
Subject: [PATCH] Minor fix.

---
 src/coreinfo.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/coreinfo.cpp b/src/coreinfo.cpp
index 1246bf985..5ea954a42 100644
--- a/src/coreinfo.cpp
+++ b/src/coreinfo.cpp
@@ -108,7 +108,7 @@ bool loadCoreInfo(const string& jsonData) {
 		for (auto ext = core->at("ext").cbegin(); ext != core->at("ext").cend(); ++ext) {
 			s_extensionToCore[*ext] = core.key();
 		}
-		s_coreToLib[core.key()] = core->at("lib");
+		s_coreToLib[core.key()] = core->at("lib").get<string>();
 	}
 	return true;
 }