Commit a7271adf authored by Andrei Paskevich's avatar Andrei Paskevich

examples/tower_of_hanoi.mlw: converted

parent d309b49b
......@@ -9,7 +9,7 @@ module Hanoi
type tower = {
mutable rod : list int;
} invariant {
sorted self.rod
sorted rod
}
function prepend (n: int) (s: list int) : list int
......@@ -72,7 +72,7 @@ module Tower_of_Hanoi
type tower = {
mutable rod : list int;
} invariant {
Incr.sorted self.rod
Incr.sorted rod
}
let move (a b: tower) (ghost x: int) (ghost s: list int)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment