From 3c463ce0bc7397506385e9402602d5158857aafe Mon Sep 17 00:00:00 2001
From: Basile Burg <basile.b@gmx.com>
Date: Sun, 16 Sep 2018 20:12:33 +0200
Subject: [PATCH] Update dsymbol

Something, despite of working fine, was not done correctly previously so this update is just a matter a safety although no problems had been exprerienced, maybe due to the fact that it's not been officialy released. (it was the fix for #697)
---
 dsymbol  | 2 +-
 dub.json | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/dsymbol b/dsymbol
index e2d5238..47f4711 160000
--- a/dsymbol
+++ b/dsymbol
@@ -1 +1 @@
-Subproject commit e2d5238d7e7bcf220447f6ab43c318ecbc3f7333
+Subproject commit 47f471114ad272dc0cd41996c7977413d7a68d63
diff --git a/dub.json b/dub.json
index 3f5520c..33f4ed2 100644
--- a/dub.json
+++ b/dub.json
@@ -13,7 +13,7 @@
   ],
   "dependencies" : {
     "libdparse": "~>0.9.8",
-    "dsymbol" : "~>0.4.7",
+    "dsymbol" : "~>0.4.8",
     "inifiled" : "~>1.3.1",
     "emsi_containers" : "~>0.8.0-alpha.7",
     "libddoc" : "~>0.4.0",