Update

davisking · Feb 15, 2025 · 10aea11 · 10aea11
1 parent 7e3ee1a
commit 10aea11
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tools/htmlify/htmlify.cpp b/tools/htmlify/htmlify.cpp
@@ -20,8 +20,8 @@ typedef cpp_pretty_printer::kernel_1a cprinter;
 typedef cpp_pretty_printer::kernel_2a bprinter;
 typedef dlib::map<string,string>::kernel_1a map_string_to_string;
 typedef dlib::set<string>::kernel_1a set_of_string;
-typedef queue<file>::kernel_1a queue_of_files;
-typedef queue<directory>::kernel_1a queue_of_dirs;
+typedef dlib::queue<file>::kernel_1a queue_of_files;
+typedef dlib::queue<directory>::kernel_1a queue_of_dirs;
 
 void print_manual (
 );