From cbc727ce6b4c2941cb9ea22bdb831d37f1a01a1d Mon Sep 17 00:00:00 2001
From: Tim van Dijen <tvdijen@gmail.com>
Date: Mon, 3 Dec 2018 18:17:27 +0100
Subject: [PATCH] Fix missing backslash

---
 lib/SimpleSAML/Module.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/SimpleSAML/Module.php b/lib/SimpleSAML/Module.php
index 5e1488ff0..77d180860 100644
--- a/lib/SimpleSAML/Module.php
+++ b/lib/SimpleSAML/Module.php
@@ -400,7 +400,7 @@ class Module
             if (!class_exists($className)) {
                 // check for the new-style class names, using namespaces
                 $type = str_replace('_', '\\', $type);
-                $newClassName = 'SimpleSAML\Module\\'.$tmp[0].$type.$tmp[1];
+                $newClassName = 'SimpleSAML\\Module\\'.$tmp[0].$type.$tmp[1];
 
                 if (!class_exists($newClassName)) {
                     throw new \Exception("Could not resolve '$id': no class named '$className' or '$newClassName'.");
-- 
GitLab