From 0c71decec9fc387c549a2b40dc140d3180f614b7 Mon Sep 17 00:00:00 2001
From: Bruce Weirdan <weirdan@gmail.com>
Date: Thu, 16 Jan 2020 05:48:22 +0200
Subject: [PATCH] Fixed lint warning

---
 src/Psalm/Config.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Psalm/Config.php b/src/Psalm/Config.php
index a8352e12166..c610351eafb 100644
--- a/src/Psalm/Config.php
+++ b/src/Psalm/Config.php
@@ -70,6 +70,7 @@
 use function getcwd;
 use function chdir;
 use function simplexml_import_dom;
+use const LIBXML_NONET;
 
 class Config
 {