From 4319e8630e5f71cca316c068ab1297e3c55b2ea7 Mon Sep 17 00:00:00 2001
From: flatberg <flatberg@pvv.ntnu.no>
Date: Thu, 15 Feb 2007 13:36:36 +0000
Subject: [PATCH] fixed error in typechecking

---
 fluents/dataset.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/fluents/dataset.py b/fluents/dataset.py
index d1db1d1..b7fde34 100644
--- a/fluents/dataset.py
+++ b/fluents/dataset.py
@@ -183,6 +183,8 @@ class Dataset:
         matrix in a given dim.  If none of the input identifiers are
         found an empty index is returned
         """
+        if not isinstance(idents, list) and not isinstance(idents, set):
+            raise ValueError("idents needs to be a list/set got: %s" %type(idents))
         if idents==None:
             index = array_sort(self._map[dim].values())
         else: