From ca504241065dc1b285fdd7b727d59abe9ffd336d Mon Sep 17 00:00:00 2001
From: "Rodothea Myrsini (Romy) Tsoupidi" <tsoupidi@kth.se>
Date: Tue, 22 Sep 2020 23:01:46 +0200
Subject: [PATCH] Change types.FunctionType=<class 'function'> (#1803)

Co-authored-by: Eric Hennenfent <eric.hennenfent@trailofbits.com>
---
 manticore/wasm/structure.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manticore/wasm/structure.py b/manticore/wasm/structure.py
index 129d0eebd..0488524b8 100644
--- a/manticore/wasm/structure.py
+++ b/manticore/wasm/structure.py
@@ -348,7 +348,7 @@ def load(cls, filename: str):
         :param filename: name of the WASM module
         :return: Module
         """
-        type_map = {-16: types.FunctionType, -4: F64, -3: F32, -2: I64, -1: I32}
+        type_map = {-16: FunctionType, -4: F64, -3: F32, -2: I64, -1: I32}
 
         m: Module = cls()
         with open(filename, "rb") as wasm_file: