Fix typo

cuter-testing · Mar 16, 2017 · 9467bc9 · 9467bc9
1 parent d08982d
commit 9467bc9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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):