diff options
Diffstat (limited to 'miasm/analysis/depgraph.py')
| -rw-r--r-- | miasm/analysis/depgraph.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/miasm/analysis/depgraph.py b/miasm/analysis/depgraph.py index 219a32ee..80e94c7f 100644 --- a/miasm/analysis/depgraph.py +++ b/miasm/analysis/depgraph.py @@ -357,7 +357,7 @@ class DependencyResultImplicit(DependencyResult): conds = z3.Or(*out) else: # Ex: expr: lblgen1, expected: 0x1234 - # -> Avoid unconsistent solution lblgen1 = 0x1234 + # -> Avoid inconsistent solution lblgen1 = 0x1234 conds = translator.from_expr(self.unsat_expr) return conds |