diff --git a/src/examples/SubVerso/Examples.lean b/src/examples/SubVerso/Examples.lean
index c153b6e..f08ff3a 100644
--- a/src/examples/SubVerso/Examples.lean
+++ b/src/examples/SubVerso/Examples.lean
@@ -144,12 +144,10 @@ def wxyz (n : Nat) := 1 + 3 + n
 def xyz (n : Nat) := 1 + %ex{test2}{3 + n}
 %end
 
---%process_highlights
-
 -- %example test
 -- #eval 5
 -- %end
 
 -- %dump test
-%dump test3.test2
-%dump test3
+-- %dump test3.test2
+-- %dump test3