From 403598400fe4ec1e99369088575eff8cabf8d785 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 30 May 2003 15:18:31 +0000
Subject: [PATCH] ...

---
 helm/papers/calculemus-2003/hbugs-calculemus-2003.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex b/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
index ae81aba67..945740cf8 100644
--- 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.}
 
-- 
2.39.2