diff options
| author | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-28 15:40:03 +0200 |
|---|---|---|
| committer | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-29 11:01:34 +0200 |
| commit | f79ee66646f66e5117583bcf9a579b7f538ca8bb (patch) | |
| tree | 024548ec910b030c07b4d38b253b6f68a9a4fa17 /src/libcmd | |
| parent | b91055112035c256fffd44d77f746b977cfdf3ca (diff) | |
util.{hh,cc}: Split out users.{hh,cc}
Change-Id: I1bd92479a2cb7e5c2c2e1541b80474adb05ea0df
Diffstat (limited to 'src/libcmd')
| -rw-r--r-- | src/libcmd/repl.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libcmd/repl.cc b/src/libcmd/repl.cc index 02aa5a272..49865aa90 100644 --- a/src/libcmd/repl.cc +++ b/src/libcmd/repl.cc @@ -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 |