From 78a99587a4ad8ad17a179a7992fcda8a6e10f25a Mon Sep 17 00:00:00 2001
From: Juan Carlos <juancarlospaco@gmail.com>
Date: Fri, 15 Jan 2021 23:56:38 -0300
Subject: Deprecate TaintedString (#15423)

Co-authored-by: Timothee Cour <timothee.cour2@gmail.com>
Co-authored-by: Dominik Picheta <dominikpicheta@googlemail.com>
---
 doc/idetools.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/idetools.rst')

diff --git a/doc/idetools.rst b/doc/idetools.rst
index ac3b92947..27926b14f 100644
--- a/doc/idetools.rst
+++ b/doc/idetools.rst
@@ -329,7 +329,7 @@ skLet
     let
       text = "some text"
     --> col 2: $MODULE.text
-        col 3: TaintedString
+        col 3: string
         col 7: ""
 
 
-- 
cgit 1.4.1-2-gfad0