From cb9413483bcd2a6bc91fb439343550bb6f425e5b Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 18 Mar 2020 17:57:12 +0100
Subject: Rename Retypeops -> Relevanceops

This module used to do retyping for the kernel in prototypes of SProp,
but was switched to only relevance inference before the merge.
---
 kernel/kernel.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/kernel.mllib')

diff --git a/kernel/kernel.mllib b/kernel/kernel.mllib
index f1e994b337..cc9da3a2ce 100644
--- a/kernel/kernel.mllib
+++ b/kernel/kernel.mllib
@@ -27,7 +27,7 @@ Conv_oracle
 Environ
 Primred
 CClosure
-Retypeops
+Relevanceops
 Reduction
 Clambda
 Nativelambda
-- 
cgit v1.2.3