point to where to edit in exercise

verus-lang · Nov 2, 2024 · 1691db1 · 1691db1
1 parent b90f28d
commit 1691db1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/2024-sosp-tutorial/exercises/verus-intro/exercise_move_point.rs b/2024-sosp-tutorial/exercises/verus-intro/exercise_move_point.rs
@@ -8,7 +8,7 @@ struct Point {
 impl Point {
   fn move_x(self, dx: i64) -> (r: Point)
     requires i64::MIN <= self.x + dx < i64::MAX,
-    ensures r == self
+    ensures r == self // <- change this
   {
     Point { x: self.x + dx }
   }