1 files changed, 2 insertions, 2 deletions
diff --git a/test/Replay/libkleeruntest/replay_klee_prefer_cex.c b/test/Replay/libkleeruntest/replay_klee_prefer_cex.c
index c2f0be13..ae202529 100644
--- a/test/Replay/libkleeruntest/replay_klee_prefer_cex.c
+++ b/test/Replay/libkleeruntest/replay_klee_prefer_cex.c
@@ -29,11 +29,11 @@ int main(int argc, char** argv) {
     if (y == 0) {
       klee_assume(x == 0);
       x++;
-      // It's fine if the prefered value cannot be used
+      // It's fine if the preferred value cannot be used
       // CHECK_3: x=1, y=0
     } else {
       printf("x is allowed to be 33\n");
-      // The prefered value should be used if it can be
+      // The preferred value should be used if it can be
       // CHECK_2: x=33
     }
   } else {