mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

typo in a comment

Browse source
This commit is contained in:
Arie Gurfinkel 2017-06-20 22:17:35 -04:00
parent 4791d84722
commit 7840f6cead
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/muz/transforms/dl_mk_slice.cpp
View file

@ -22,7 +22,7 @@ Revision History:
input: x, z input: x, z
output: x, y output: x, y
Let x_i, y_i, z_i be incides into the vectors x, y, z. Let x_i, y_i, z_i be indices into the vectors x, y, z.
Suppose that positions in P and R are annotated with what is Suppose that positions in P and R are annotated with what is
slicable. slicable.