From 5dbc24b206cd365db7498dddcd03798c5d8ed4e4 Mon Sep 17 00:00:00 2001
From: Andrei Vagin <avagin@gmail.com>
Date: Mon, 25 Nov 2019 09:50:08 +0300
Subject: [PATCH] util: introduce the mount_detached_fs helper

Signed-off-by: Andrei Vagin <avagin@gmail.com>
---
 criu/util.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/criu/util.c b/criu/util.c
index 1646ce1c4..a0a49c5a3 100644
--- a/criu/util.c
+++ b/criu/util.c
@@ -30,6 +30,8 @@
 
 #include "linux/mount.h"
 
+#include "linux/mount.h"
+
 #include "kerndat.h"
 #include "page.h"
 #include "util.h"