| changeset 35981 | bd4e0d68c56d |
| parent 35946 | 7a86d7706106 |
| child 36900 | 631e961a9e95 |
| 35980:344afccb09d1 | 35981:bd4e0d68c56d |
|---|---|
1 cdfef9f27f2a4ba9648f86890c8563d0a1cfe888 2224 0 |
1 eafecd70b5ba5010589b5ae443c033b4aa8eb332 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 |