From 4476f64dc87fb86738fc4c9f939113b70843c035 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 18 Sep 2020 14:15:18 +0200
Subject: {new,setoid_}ring -> ring

I believe this renaming makes it easier for new contributors to discover
the code of `ring`.
---
 kernel/cClosure.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/cClosure.mli b/kernel/cClosure.mli
index ada0fc9780..3e8916673d 100644
--- a/kernel/cClosure.mli
+++ b/kernel/cClosure.mli
@@ -159,7 +159,7 @@ val inject : constr -> fconstr
 (** mk_atom: prevents a term from being evaluated *)
 val mk_atom : constr -> fconstr
 
-(** mk_red: makes a reducible term (used in newring) *)
+(** mk_red: makes a reducible term (used in ring) *)
 val mk_red : fterm -> fconstr
 
 val fterm_of : fconstr -> fterm
-- 
cgit v1.2.3