util.{hh,cc}: Split out users.{hh,cc}

Change-Id: I1bd92479a2cb7e5c2c2e1541b80474adb05ea0df
2024-05-29 11:01:34 +02:00
parent b910551120
commit f79ee66646
21 changed files with 185 additions and 154 deletions
@@ -31,6 +31,7 @@
 #include "print.hh"
 #include "progress-bar.hh"
 #include "gc-small-vector.hh"
+#include "users.hh"

 #if HAVE_BOEHMGC
 #define GC_INCLUDE_NEW