From 29dc84fef6d7076fd11a3847d2877fe59e705d36 Mon Sep 17 00:00:00 2001
From: Anthony Platanios <e.a.platanios@gmail.com>
Date: Wed, 17 Apr 2019 15:16:41 -0400
Subject: [PATCH] Minor fix. (#155)

---
 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;
 }