diff options
author | Florian Angeletti <florian.angeletti@inria.fr> | 2021-05-25 17:09:05 +0200 |
---|---|---|
committer | Florian Angeletti <florian.angeletti@inria.fr> | 2021-06-22 17:28:19 +0200 |
commit | 69560194fcda6d96356a067de96279b62949b774 (patch) | |
tree | 767035f57b385ece66b554b199e8120cfbb7bc4a /compilerlibs | |
parent | 16cb5722e0d2adb6dfde6848e8a9d82f9be1b199 (diff) | |
download | ocaml-69560194fcda6d96356a067de96279b62949b774.tar.gz |
swaps and moves
Diffstat (limited to 'compilerlibs')
-rw-r--r-- | compilerlibs/Makefile.compilerlibs | 3 |
1 files changed, 2 insertions, 1 deletions
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 = \ |