diff --git a/src/libc/src/test-comp.c b/src/libc/src/test-comp.c
index 31cf52e70..f85678e98 100644
--- a/src/libc/src/test-comp.c
+++ b/src/libc/src/test-comp.c
@@ -2,7 +2,7 @@
 
 _Bool __VERIFIER_nondet_bool(void) {
   _Bool var = owi_i32();
-  owi_assume(or_(var == 0, var == 1));
+  owi_assume(var == 0 || var == 1);
   return var;
 }