wrong commit

federicoballabio · Nov 15, 2023 · 05ac10b · 05ac10b
1 parent 213faed
commit 05ac10b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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).