From 05ac10b2358ad8cadc83587984acb5e7ebb10888 Mon Sep 17 00:00:00 2001 From: Daniele Rapetti Date: Wed, 15 Nov 2023 12:11:26 +0100 Subject: [PATCH] wrong commit --- src/tools/DLLoader.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/DLLoader.h b/src/tools/DLLoader.h index b4a68c0d6e..312f1f3178 100644 --- a/src/tools/DLLoader.h +++ b/src/tools/DLLoader.h @@ -50,7 +50,7 @@ class DLLoader { /// Cleanup ~DLLoader(); /// Load a library, returning its handle - void* load(const std::string&); + void* load(const std::string&, bool=false); /// Returns the last error in dynamic loader const std::string & error(); /// Returns true if the dynamic loader is available (on some systems it may not).