From 48cbed8b20b371c6a833e2a6b8307e5bf1d2092f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Tue, 14 Feb 2012 18:58:12 +0000
Subject: [PATCH] update to latest release.

---
 packages/real | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/real b/packages/real
index c1584e1ac..3db8d8e80 160000
--- a/packages/real
+++ b/packages/real
@@ -1 +1 @@
-Subproject commit c1584e1ac73304ffc83b5d75b91f5e785ce5d41e
+Subproject commit 3db8d8e80fcf41d41312f9ffe1a468c2f8c6275d