
diff -r f875a25aa72d -r ff14d64c07fd ProgTutorial/document/root.tex
--- a/ProgTutorial/document/root.tex	Fri May 17 10:38:01 2019 +0200
+++ b/ProgTutorial/document/root.tex	Fri May 17 10:50:53 2019 +0200
@@ -98,8 +98,8 @@
 % scaffolding around function definitions
 \newenvironment{vanishML}{%
 \renewcommand{\isacommand}[1]{}%
-\renewcommand{\isacharverbatimopen}{}%
-\renewcommand{\isacharverbatimclose}{}}{}
+\renewcommand{\isacartoucheopen}{}%
+\renewcommand{\isacartoucheclose}{}}{}
 
 \isakeeptag{grayML}
 \renewcommand{\isataggrayML}{\begin{vanishML}\begin{graybox}}




