From d70af8a387d1199be3327b3e4ef21dda9bb2155e Mon Sep 17 00:00:00 2001
From: Gaetan Gilbert
Date: Tue, 11 Apr 2017 12:47:29 +0200
Subject: Update RefMan-pre to mention template polymorphism.

---
 doc/refman/RefMan-pre.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/refman/RefMan-pre.tex b/doc/refman/RefMan-pre.tex
index f36969e821..0441f952df 100644
--- a/doc/refman/RefMan-pre.tex
+++ b/doc/refman/RefMan-pre.tex
@@ -529,7 +529,7 @@ intensive computations.
 
 Christine Paulin implemented an extension of inductive types allowing
 recursively non uniform parameters. Hugo Herbelin implemented
-sort-polymorphism for inductive types.
+sort-polymorphism for inductive types (now called template polymorphism).
 
 Claudio Sacerdoti Coen improved the tactics for rewriting on arbitrary
 compatible equivalence relations. He also generalized rewriting to
-- 
cgit v1.2.3