[PPL-devel] [GIT] ppl/w3ppl(master): Typo corrected.

[Enea Zaffanella]

Module: ppl/w3ppl
Branch: master
Commit: 65c2a2196598f88d36314e054dd0ee77067f7271
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=65c2a2196598f88d36314e054dd0ee77067f7271

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Feb 14 09:51:53 2011 +0100

Typo corrected.

---

 htdocs/Bugs/archive.raw |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw
index 6072ae8..e161f6a 100644
--- a/htdocs/Bugs/archive.raw
+++ b/htdocs/Bugs/archive.raw
@@ -66,7 +66,7 @@ Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;
 Fixed a bug whereby the argument of all the methods
 <CODE>
   unconstrain(Variable var)
-</CODE
+</CODE>
 was not checked correctly for space dimension compatibility.
 Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f">ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f</A>.
 </DD>