diff --git a/priv/cuter_smt.py b/priv/cuter_smt.py
index 58cf68fe..bca7d552 100644
--- a/priv/cuter_smt.py
+++ b/priv/cuter_smt.py
@@ -102,7 +102,7 @@ def decode(self, data, shared = None):
 			shared = cc.get_shared(data)
 			return ["list", build_tlist([self.decode(item, shared) for item in items])]
 		elif cc.is_tuple(data):
-			items = cc.get_list_subterms(data)
+			items = cc.get_tuple_subterms(data)
 			shared = cc.get_shared(data)
 			return ["tuple", build_tlist([self.decode(item, shared) for item in items])]
 		elif cc.is_bitstring(data):