From 388b32039898cc8f1784378689007254eb7a33b6 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Wed, 13 Jan 2016 13:51:15 +0100
Subject: Remove space-padding from <pre> blocks

---
 prolog/problems/denotational_semantics/algol_for_3/en.py | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'prolog/problems/denotational_semantics/algol_for_3')

diff --git a/prolog/problems/denotational_semantics/algol_for_3/en.py b/prolog/problems/denotational_semantics/algol_for_3/en.py
index d4b8144..91ff34d 100644
--- a/prolog/problems/denotational_semantics/algol_for_3/en.py
+++ b/prolog/problems/denotational_semantics/algol_for_3/en.py
@@ -6,14 +6,14 @@ slug = 'interpreter for mini-algol with for-statement'
 description = '''\
 <p>Extend the given DCG for mini-algol to support the for-statement. Example:</p>
 <pre>
-  % for a := 0 & a < 5 & a := a + 1 do
-  % begin
-  %   print(a)
-  % end
-  ?- _Program = [begin,for,a,:=,0,&,a,<,5,&,a,:=,a+1,do,begin,print(a),end,end],
-      algol_for(_F, _Program, []),
-      apply([a=2], Output, _F).
-    Output = [a=5,printout=[0,1,2,3,4]].
+% for a := 0 & a < 5 & a := a + 1 do
+% begin
+%   print(a)
+% end
+?- _Program = [begin,for,a,:=,0,&,a,<,5,&,a,:=,a+1,do,begin,print(a),end,end],
+    algol_for(_F, _Program, []),
+    apply([a=2], Output, _F).
+  Output = [a=5,printout=[0,1,2,3,4]].
 </pre>
 '''
 
-- 
cgit v1.2.1