From 5e1547ba780ebeb5d241b4b3513492a39507a34e Mon Sep 17 00:00:00 2001
From: Tiago Gomes <tgomes@fc.up.pt>
Date: Tue, 6 Nov 2012 15:15:55 +0000
Subject: [PATCH] add missing method to TinySet

---
 packages/CLPBN/horus/TinySet.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/packages/CLPBN/horus/TinySet.h b/packages/CLPBN/horus/TinySet.h
index 2c7d113b4..ed810bcde 100644
--- a/packages/CLPBN/horus/TinySet.h
+++ b/packages/CLPBN/horus/TinySet.h
@@ -153,6 +153,11 @@ class TinySet
     {
       return vec_[i];
     }
+    
+    T& operator[] (typename vector<T>::size_type i)
+    {
+      return vec_[i];
+    }
   
     T front (void) const
     {