...

[helm.git] / helm / papers / calculemus-2003 / hbugs-calculemus-2003.tex

diff --git a/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex b/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
index ae81aba67494e65acd68b0d9a811deec74176f6c..945740cf8adf06ca203469f0a5fc5a216994de6a 100644 (file)
--- a/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
+++ b/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
@@ -247,8 +247,8 @@ x = \frac{(x+1)*(x+1) - 1 - x*x}{2}
 \end{displaymath}
 \end{exercise}
 
-\myincludegraphics{step1}{t}{12cm}{Example session, snapshot 1.}
-  {Example session, snapshot 1.}
+\myincludegraphics{step1}{t}{12cm}{Example session.}
+  {Example session.}
 %\myincludegraphics{step2}{t}{4cm}{Example session, snapshot 2.}
 % {Example session, snapshot 2.}