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