From a35abcd5997697ba52f1785763c4dfee194f1bce Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ferran=20Delg=C3=A0?=
 <32911477+ferrandf@users.noreply.github.com>
Date: Sat, 4 Dec 2021 18:57:05 +0100
Subject: [PATCH] Rename add_combine to add_combine.kind

---
 base/Nat/Order/{add_combine => add_combine.kind} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename base/Nat/Order/{add_combine => add_combine.kind} (100%)

diff --git a/base/Nat/Order/add_combine b/base/Nat/Order/add_combine.kind
similarity index 100%
rename from base/Nat/Order/add_combine
rename to base/Nat/Order/add_combine.kind