aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/scheck/ok.c
diff options
context:
space:
mode:
Diffstat (limited to 'validation/scheck/ok.c')
-rw-r--r--validation/scheck/ok.c4
1 files changed, 0 insertions, 4 deletions
diff --git a/validation/scheck/ok.c b/validation/scheck/ok.c
index 76c04c4f..f4a0daab 100644
--- a/validation/scheck/ok.c
+++ b/validation/scheck/ok.c
@@ -1,10 +1,6 @@
static void ok(int x)
{
__assert((~x) == (~0 - x)); // true but not simplified yet
-}
-
-static void also_ok(int x)
-{
__assert_eq(~x, ~0 - x);
}