From f79ee66646f66e5117583bcf9a579b7f538ca8bb Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <github@mail.hubrecht.ovh>
Date: Tue, 28 May 2024 15:40:03 +0200
Subject: util.{hh,cc}: Split out users.{hh,cc}

Change-Id: I1bd92479a2cb7e5c2c2e1541b80474adb05ea0df
---
 src/libcmd/repl.cc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/libcmd/repl.cc')

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
-- 
cgit v1.2.3