From 0586d288c5a1125f584bee9142a8646707985837 Mon Sep 17 00:00:00 2001
From: Franziskus Kiefer <franziskuskiefer@gmail.com>
Date: Tue, 21 Mar 2023 13:19:53 +0100
Subject: [PATCH] fixup benchmark imports

---
 rust/benches/benchmark.rs | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/rust/benches/benchmark.rs b/rust/benches/benchmark.rs
index ceb79cdb..231174e2 100644
--- a/rust/benches/benchmark.rs
+++ b/rust/benches/benchmark.rs
@@ -1,9 +1,4 @@
-#[macro_use]
-extern crate criterion;
-extern crate hacl_star;
-extern crate rand;
-
-use criterion::{BatchSize, Criterion};
+use criterion::{criterion_group, criterion_main, BatchSize, Criterion};
 
 // 1 MB
 const PAYLOAD_SIZE: usize = 0x100000;