From 5388dd03417b730c12c2e288e6236ff774cb0661 Mon Sep 17 00:00:00 2001
From: Snaipe <franklinmathieu@gmail.com>
Date: Mon, 16 Nov 2015 14:50:00 +0100
Subject: [PATCH] Removed intermediate function pointer cast to integer in
 theory function call

---
 src/core/theories.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/theories.c b/src/core/theories.c
index d1a027c..28d0d12 100644
--- a/src/core/theories.c
+++ b/src/core/theories.c
@@ -91,7 +91,7 @@ void cr_theory_reset(struct criterion_theory_context *ctx) {
 }
 
 void cr_theory_call(struct criterion_theory_context *ctx, void (*fnptr)(void)) {
-    dcCallVoid(ctx->vm, (DCpointer) (unsigned long long) fnptr);
+    dcCallVoid(ctx->vm, (DCpointer) fnptr);
 }
 
 static bool contains_word(const char *str, const char *pattern, size_t sz) {