From 9467bc9c6a6c2c9e9870db3a8553aa50370dcf8f Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Thu, 16 Mar 2017 09:58:49 +0100 Subject: [PATCH] Fix typo --- priv/cuter_smt.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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):