changeset 35946 | 7a86d7706106 |
parent 35154 | 52ab455915d8 |
child 35981 | bd4e0d68c56d |
35945:fcd02244e63d | 35946:7a86d7706106 |
---|---|
1 iks4GfP7O/NgNFyGZ4ynjQ 2224 0 |
1 cdfef9f27f2a4ba9648f86890c8563d0a1cfe888 2224 0 |
2 #2 := false |
2 #2 := false |
3 #4 := 0::int |
3 #4 := 0::int |
4 decl uf_3 :: (-> int int) |
4 decl uf_3 :: (-> int int) |
5 #8 := (uf_3 0::int) |
5 #8 := (uf_3 0::int) |
6 #647 := -1::int |
6 #647 := -1::int |