#
#
# patch "ui.cc"
#  from [31589a9e86d23d92cb4f87b310c6eb920d026db6]
#    to [aac0f2db913595eef154c2dd325ad2d5d1d16ed7]
#
============================================================
--- ui.cc	31589a9e86d23d92cb4f87b310c6eb920d026db6
+++ ui.cc	aac0f2db913595eef154c2dd325ad2d5d1d16ed7
@@ -23,7 +23,7 @@
 
 #include <iostream>
 #include <fstream>
-#include <iomanip>
+#include <iman>
 #include <algorithm>
 #include <map>
 #include <set>