Break FC point exercise to test that CI detects errors

GaloisInc · Dec 7, 2022 · ea46f09 · ea46f09
1 parent e8ca835
commit ea46f09
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/exercises/functional-correctness/point/exercise.saw b/exercises/functional-correctness/point/exercise.saw
@@ -49,7 +49,7 @@ let point_new_spec = do {
 point_new_ov <- llvm_verify m "point_new" [] true point_new_spec z3;
 
 let point_copy_spec = do {
-    (p, p_ptr) <- ptr_to_fresh_readonly "p" (llvm_struct "struct.point");
+    (p, p_ptr) <- ptr_to_fresh "p" (llvm_struct "struct.point");
 
     llvm_execute_func [p_ptr];