T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix typos.

Browse Source
This commit is contained in:
Bruce Mitchener
2018-12-24 10:20:32 -05:00
committed by Dan Gohman
parent 4224a95f0d
commit 4f8753fa11
26 changed files with 41 additions and 41 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/codegen/meta-python/semantics/smtlib.py
View File

@@ -201,7 +201,7 @@ def equivalent(r1, r2, inp_m, out_m):
assert isinstance(v2, Var)
results_eq_exp.append(mk_eq(m1[v1], m2[v2]))
# Put the whole query toghether
# Put the whole query together
return q1 + q2 + args_eq_exp + [Not(And(*results_eq_exp))]