From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sat, 8 Aug 2020 10:47:55 +0000 (+0200)
Subject: update
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=a8d3fc71f873a7148aef59d1c915306295af4844;p=gwion.git

update
---

diff --git a/docs/Reference/Preprocessor.mdr b/docs/Reference/Preprocessor.mdr
index 6eecaaab..6ac642c9 100644
--- a/docs/Reference/Preprocessor.mdr
+++ b/docs/Reference/Preprocessor.mdr
@@ -39,6 +39,7 @@ Under circomstance where memoization is applicable,
 such as this one, you can see a *huge* speed-up.
 
 @hide echo "normal:   $(perf stat gwion fib_recurs.gw 2>&1 | grep elapsed)"
+
 @hide echo "memoized: $(perf stat gwion fib_recurs_memoize.gw 2>&1 | grep elapsed)"
 
 Memoization setting will be active until the end of file