Fix wrong variable name in SymbolicFile (#220)

2017-05-01 21:07:45 -04:00
parent 9e87d1dfa6
commit 0583162133
1 changed files with 1 additions and 1 deletions
@@ -106,7 +106,7 @@ class SymbolicFile(object):
        symbols_cnt = 0
        data = path.read()
        size = len(data)
-        self.array = constraints.new_array(name=path.name, max_size=size)
+        self.array = constraints.new_array(name=path.name, index_max=size)
        for i in range(size):
            if data[i] != WILDCARD:
                self.array[i] = data[i]