update

diff --git a/docs/Reference/Preprocessor.mdr b/docs/Reference/Preprocessor.mdr
index 6eecaaab42fb8db4cfaab5843f393276e0568376..6ac642c9f096590a2a416cab697de6780f209507 100644 (file)
--- 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