From 5958dc4c2241d553e1689318f482f0a2cbc27050 Mon Sep 17 00:00:00 2001
From: Guillermo Ramos
Date: Mon, 2 Jun 2014 19:27:06 +0200
Subject: Arreglada gramática pWhile

---
 memoria.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'memoria.tex')

diff --git a/memoria.tex b/memoria.tex
index 13ef1e4..db67bbe 100755
--- a/memoria.tex
+++ b/memoria.tex
@@ -247,7 +247,7 @@ etc. Para ello, EasyCrypt implementa un lenguaje distinto llamado pWhile
     | if $\mathcal{E}$ then $\mathcal{C}$ else $\mathcal{C}$
     | while $\mathcal{E}$ do $\mathcal{C}$
     | $\mathcal{V} \leftarrow \mathcal{P}(\mathcal{E}, ..., \mathcal{E})$
-    | $\mathcal{C} ::=$ skip
+  $\mathcal{C} ::=$ skip
     | $\mathcal{I}$; $\mathcal{C}$
 \end{bnf}
 
-- 
cgit v1.2.3