From 69560194fcda6d96356a067de96279b62949b774 Mon Sep 17 00:00:00 2001
From: Florian Angeletti <florian.angeletti@inria.fr>
Date: Tue, 25 May 2021 17:09:05 +0200
Subject: swaps and moves

---
 compilerlibs/Makefile.compilerlibs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'compilerlibs')

diff --git a/compilerlibs/Makefile.compilerlibs b/compilerlibs/Makefile.compilerlibs
index 65129efdb4..d08b08d146 100644
--- a/compilerlibs/Makefile.compilerlibs
+++ b/compilerlibs/Makefile.compilerlibs
@@ -45,7 +45,8 @@ UTILS = \
   utils/domainstate.cmo \
   utils/binutils.cmo \
   utils/lazy_backtrack.cmo \
-  utils/diffing.cmo
+  utils/diffing.cmo \
+  utils/diffing_with_keys.cmo
 UTILS_CMI =
 
 PARSING = \
-- 
cgit v1.2.1